itsikkes 72fc0c3bba lower the probability of marking living monkeys as dead ... living monkeys will now be auto-marked as dead only if not a single living monkey sent keep-alive in the last 10 minutes		2016-08-13 19:39:09 +03:00
..
admin/ui	mark living monkeys in the UI	2016-08-13 19:37:49 +03:00
binaries	directory placeholder	2016-07-20 01:08:35 +03:00
main.py	lower the probability of marking living monkeys as dead	2016-08-13 19:39:09 +03:00