Get Started
User Guide
API Reference
Model Tutorials
Developer Notes
Misc
SharedMemoryDGLGraph.
destroy
Destroy the graph store.
This notifies the server that this client has terminated.