MAXDB_SERVER_END(3) 1 MAXDB_SERVER_END(3) maxdb_server_end - Shut down the embedded serverSYNOPSISvoid maxdb_server_end (void )DESCRIPTIONWarning This function is currently not documented; only its argument list is available. PHP Documentation Group MAXDB_SERVER_END(3)