+ /*
+ SaveLevelSetup();
+ */
+
+ /*
+ LoadPlayerInfo(PLAYER_LEVEL);
+ SavePlayerInfo(PLAYER_SETUP);
+ */
+
+
+ level_nr = new_level_nr;
+
+ TapeErase();
+ LoadTape(level_nr);
+
+ /*
+ GetPlayerConfig();
+ */
+
+ LoadLevel(level_nr);
+
+
+
+ if (setup.autorecord)
+ 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);