added disconnecting from network server from setup menu
[rocksndiamonds.git] / src / network.h
index 23b33077f8659c4a11207cd2839cb0d01ae93e0d..fbbea6dbb1495ee9bc9300e76a01acdb4cf1582e 100644 (file)
@@ -27,5 +27,6 @@ void SendToServer_ContinuePlaying(void);
 void SendToServer_StopPlaying(int);
 void SendToServer_MovePlayer(byte);
 void HandleNetworking(void);
+void DisconnectFromNetworkServer(void);
 
 #endif