+ if (setup.autorecord_on)
+ TapeStartRecording();
+
+
+
+ if (tape.recording)
+ tape.random_seed = new_random_seed;
+
+ InitRND(new_random_seed);
+
+
+ /*
+ printf("tape.random_seed == %d\n", tape.random_seed);
+ */
+
+ game_status = PLAYING;
+ InitGame();
+}
+
+static void Handle_OP_PAUSE_PLAYING()
+{
+ printf("OP_PAUSE_PLAYING: %d\n", buf[0]);
+ sprintf(msgbuf, "client %d pauses game", buf[0]);
+ sysmsg(msgbuf);
+
+ tape.pausing = TRUE;
+ DrawVideoDisplay(VIDEO_STATE_PAUSE_ON,0);
+}
+
+static void Handle_OP_CONTINUE_PLAYING()
+{
+ printf("OP_CONTINUE_PLAYING: %d\n", buf[0]);
+ sprintf(msgbuf, "client %d continues game", buf[0]);
+ sysmsg(msgbuf);
+
+ tape.pausing = FALSE;
+ DrawVideoDisplay(VIDEO_STATE_PAUSE_OFF,0);
+}
+
+static void Handle_OP_STOP_PLAYING()
+{
+ printf("OP_STOP_PLAYING: %d\n", buf[0]);
+ sprintf(msgbuf, "client %d stops game", buf[0]);
+ sysmsg(msgbuf);