Installation manual: restart minimserver

[simoncn]

(04-04-2016 18:15)tarnkappe Wrote:  Ok, but then I expect that the "restart" command of minimwatch would do exactly this. But it did not.

'relaunch' and 'restart' are different commands. See this section.