# HG changeset patch
# User wenzelm
# Date 1602098115 -7200
# Node ID 9302fd538ae428d302beb6fbadbf55bd3617370b
# Parent  b8f25ceac57fd9aedc0013050a6713418be99e57
updated user + host;

diff -r b8f25ceac57f -r 9302fd538ae4 Admin/cronjob/README
--- a/Admin/cronjob/README	Wed Oct 07 21:02:04 2020 +0200
+++ b/Admin/cronjob/README	Wed Oct 07 21:15:15 2020 +0200
@@ -2,8 +2,8 @@
 ===============================
 
 - main server: virtual machine with cronjob and build_log database
-- backup file-system (for cumulative log files): isatest@lxbroy10:cronjob
-- backup identify job: isatest@lxbroy5
+- backup file-system (for cumulative log files): i21isatest@lxbroy10:cronjob
+- backup identify job: i21isatest@lxcisa0
 
 - jobs: manual installation on target directory:
     cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
diff -r b8f25ceac57f -r 9302fd538ae4 Admin/cronjob/crontab.lxbroy5
--- a/Admin/cronjob/crontab.lxbroy5	Wed Oct 07 21:02:04 2020 +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 b8f25ceac57f -r 9302fd538ae4 Admin/cronjob/crontab.lxcisa0
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/cronjob/crontab.lxcisa0	Wed Oct 07 21:15:15 2020 +0200
@@ -0,0 +1,4 @@
+SHELL=/bin/bash
+MAILTO=wenzelm
+
+20 00 * * *       $HOME/cronjob/plain_identify