dgl.contrib.graph_store.SharedMemoryDGLGraph.destroy

SharedMemoryDGLGraph.destroy()[source]

Destroy the graph store.

This notifies the server that this client has terminated.