search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

Watchdog loops #18

Closed maxhaslbeck closed 5 years ago

maxhaslbeck commented 5 years ago

yesterday night the watchdog could not restart the Isabelle server. Need to test the watchdog

07-02 01:26:43,377 poller INFO Found error 'Timer already cancelled', signal error to watch-dog, and let it restart the Isabelle server
07-02 01:26:43,377 watchdog INFO watch dog was instructed to restart
07-02 01:26:43,377 watchdog INFO waiting for poller.watch : error (False)
07-02 01:26:48,382 watchdog INFO waiting for poller.watch : error (False)
07-02 01:26:53,387 watchdog INFO waiting for poller.watch : error (False)
07-02 01:26:58,394 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:03,400 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:08,403 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:13,410 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:18,417 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:23,423 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:28,429 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:33,436 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:38,442 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:43,531 watchdog INFO waiting for poller.watch : error (False)
07-02 01:27:48,538 watchdog INFO waiting for poller.watch : error (False)
...
maxhaslbeck commented 5 years ago

one needs to set up an cronjob for the watchdog, see in the README:

https://github.com/maxhaslbeck/proving-contest-backends/blob/c03e302d9339c61a8c6e6049d5f62a5b068f8117/Isabelle/README#L84-L101