This is a pretty hands-off fix for the issue where the recording buffer is never flushed when using --print-seed-catalog.
The real fix is to ensure that flushBufferToFile will always flush the buffer, regardless of if a recording file is present.
Guarding is also added to recordChar to avoid buffer overflows.
This change avoids creating a new game state of isPrintingSeedCatalog.
An addition we could do is to avoid writing to the recording buffer if there is no recording file.
Updated so as to not break all recordings. flushBufferToFile is called during playback but should be a no-op since locationInRecordingBuffer is being used for playback.
This is a pretty hands-off fix for the issue where the recording buffer is never flushed when using
--print-seed-catalog
. The real fix is to ensure thatflushBufferToFile
will always flush the buffer, regardless of if a recording file is present. Guarding is also added torecordChar
to avoid buffer overflows. This change avoids creating a new game state ofisPrintingSeedCatalog
. An addition we could do is to avoid writing to the recording buffer if there is no recording file.