printf("\n");
printf_line('=', 79);
- printf("Summary\n");
- printf_line('-', 79);
printf("Number of levels played: %d\n", levels_played);
printf("Number of levels solved: %d (%d%%)\n", levels_solved,
levels_solved * 100 / levels_played);
+ printf_line('-', 79);
+ printf("Summary (for automatic parsing by scripts):\n");
+ printf("LEVELDIR '%s', SOLVED %d/%d (%d%%)\n",
+ autoplay_leveldir->identifier, levels_solved, levels_played,
+ levels_solved * 100 / levels_played);
printf_line('=', 79);
CloseAllAndExit(0);
}
}
+void FreeTapeButtons()
+{
+ int i;
+
+ for (i=0; i<NUM_TAPE_BUTTONS; i++)
+ FreeGadget(tape_gadget[i]);
+}
+
void MapTapeEjectButton()
{
UnmapGadget(tape_gadget[TAPE_CTRL_ID_INDEX]);