Server/py: Only save game world every 15 seconds.

[plomrogue] / redo

diff --git a/redo b/redo
index 965988aa31b617acf0121efe82a6732e2a2320fb..4081117268dee04d1df9a08acd01f043d71bf0fd 100755 (executable)
--- a/redo
+++ b/redo
@@ -13,6 +13,10 @@
 # build/redo_scripts/. For details on this version, see:
 # - <http://news.dieweltistgarnichtso.net/bin/redo.html>
 # - <http://news.dieweltistgarnichtso.net/bin/redo-ifchange.html>
+#
+# This "redo" implementation may experience trouble on OS X systems, see
+# <https://github.com/plomlompom/plomrogue/issues/2#issuecomment-50972436> for a
+# workaround.
 
 export PATH=$PATH:$PWD/build/redo_scripts
 redo "$@"