maxdb_server_end
(no version information, might be only in CVS)
maxdb_server_end -- Shut down the embedded server
Description
void
maxdb_server_end ( void )
| Warning |
This function is
EXPERIMENTAL. The behaviour of this function, the
name of this function, and anything else documented about this
function may change without notice in a future release of PHP.
Use this function at your own risk. |