beta #4

Merged
doug713705 merged 203 commits from beta into master 2023-04-20 15:11:59 +02:00
1 changed files with 2 additions and 1 deletions
Showing only changes of commit 53c7e8ea1b - Show all commits

View File

@ -20,7 +20,8 @@ run:
stop:
-set -e;\
kill -15 $$(cat thsf.pid); \
THSF_DIR=$$(pwd); \
kill -15 $$(cat $$THSF_DIR/thsf.pid); \
rm thsf.pid
clean: