| 13 | |---------------- |
| 14 | {{{#!td style="vertical-align:top;width: 50px" |
| 15 | 13/07/15 |
| 16 | }}} |
| 17 | {{{#!td style="vertical-align:top;width: 50px" |
| 18 | BM |
| 19 | }}} |
| 20 | {{{#!td style="vertical-align:top;width: 75px" |
| 21 | r1618 |
| 22 | }}} |
| 23 | {{{#!td style="vertical-align:top" |
| 24 | 4.0 |
| 25 | }}} |
| 26 | {{{#!td style="vertical-align:top" |
| 27 | C |
| 28 | }}} |
| 29 | {{{#!td style="vertical-align:top" |
| 30 | Changed: PALM watchdog is now steered via configuration files. palm_wd requires a file .wd.config in the palm working directory, whereas palm_wdd requires the file .wdd.config placed unter $HOME on each remote host to be monitored. Default configuration files have been added (palm_wd, palm_wdd, .wd.config.default, wd.config.hlrnIII, .wdd.config.default, .wdd.config.hlrnIII). |
| 31 | }}} |