Fix TypeError reported in #12 #14

Merged

MarcHagen merged 1 commits from patch-1 into main 2023-03-01 18:45:08 +08:00

Conversation 1 Commits 1 Files Changed 1 +1 -1

1 Commits

Author	SHA1	Message	Date
Marc	f31f7e4510	Fix #12 ... Uncaught TypeError: posix_kill(): Argument #1 ($process_id) must be of type int, string given	2023-03-01 10:25:40 +01:00