130
130
self.mnemosyne.database().release_connection()
131
131
self.mnemosyne.finalise()
138
138
# Make an extra request so that we don't need to wait for the server
139
139
# timeout. This could fail if the server has already shut down.
146
146
global server_is_initialised
147
147
server_is_initialised = None