Correctly distinguish between game and real ticks while recording video, so that paused game and speed-up demo are recorded better. Also support recording videos from demos executed directly (without frontend), such videos will be automatically encoded on frontend startup.

     1

<?xml version="1.0" encoding="UTF-8"?>

     2

<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">

     3

<plist version="1.0">

     4

<dict>

     5

	<key>get-task-allow</key>

     6

	<false/>

     7

</dict>

     8

</plist>