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.