# HG changeset patch
# User wenzelm
# Date 1723983741 -7200
# Node ID f3c9203d82c3e5cf3e78c7416fb416fa25faba9f
# Parent  613417b3edad2971298cf8c8465dddae4087fcf7
prefer host that is less likely to be down;

diff -r 613417b3edad -r f3c9203d82c3 Admin/cronjob/crontab.lxcisa0
--- a/Admin/cronjob/crontab.lxcisa0	Thu Aug 15 13:58:09 2024 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-SHELL=/bin/bash
-MAILTO=wenzelm
-
-20 00 * * *       $HOME/cronjob/plain_identify
diff -r 613417b3edad -r f3c9203d82c3 Admin/cronjob/crontab.vmnipkow17
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/cronjob/crontab.vmnipkow17	Sun Aug 18 14:22:21 2024 +0200
@@ -0,0 +1,4 @@
+SHELL=/bin/bash
+MAILTO=wenzelm
+
+20 00 * * *       $HOME/cronjob/plain_identify