comparison options.html @ 213:08665c56c6a0 default tip

Fix race condition related to watching DGL games. It's possible for a dgamelaunch game to end and cause rlgwebd to stop watching it before rlgwebd has started watching it.
author John "Elwin" Edwards
date Sun, 16 Aug 2020 20:56:18 -0400
parents 99fbc7c55b81
children
comparison
equal deleted inserted replaced
212:e6af951def94 213:08665c56c6a0