diff options
author | Oskar Vigren <oskar@vig.ren> | 2019-12-10 15:34:53 +0100 |
---|---|---|
committer | Oskar Vigren <oskar@vig.ren> | 2019-12-10 15:34:53 +0100 |
commit | 52efe6eebf3ba1dd3aa3d5348777c6a233ef1470 (patch) | |
tree | b6dea2d44c8c55c3d8b12f2be7b7a2afe53b78f9 /moten/2013-03-23-verksamhetsplan.mdwn | |
parent | d9e5eab7e8a8d538b9eaeb242fc9774b39f7e0bd (diff) |
[create-a-wiki] Fix silly problem with kill server commandov/create-wiki-preview
The command now matches start of process name. This will prevent killing other
things than the server, e.g. make when it executes the command.
Diffstat (limited to 'moten/2013-03-23-verksamhetsplan.mdwn')
0 files changed, 0 insertions, 0 deletions