!7

import static x30_pkg.x30_util.hasBot;
import static x30_pkg.x30_util.nohupJavax;
import static x30_pkg.x30_util.jlabel;
//import static x30_pkg.x30_util.doEvery; // timer registry?
import static x30_pkg.x30_util.newTypeWriterTextArea;
import static x30_pkg.x30_util.callOpt;

set flag NoSwitchableFields.
set flag NoMenuItems.

module WatchDog > DynPrintLog {
  start {
    x30_pkg.x30_util.__javax = javax();
    doEvery(dm_osLoading() ? 10.0 : 0.0, 60.0, r {
      if (hasBot("Stefan's OS Watch Dog."))
        print("Watch Dog running.");
      else {
        print("Watch Dog not running, starting.");
        nohupJavax(#1019683);
      }
    });
  }
}