Fix TypeError reported in #12 #14

Merged
MarcHagen merged 1 commits from patch-1 into main 2023-03-01 18:45:08 +08:00
MarcHagen commented 2023-03-01 17:25:59 +08:00 (Migrated from github.com)

Uncaught TypeError: posix_kill(): Argument #1 ($process_id) must be of type int, string given
Closes: #12

Uncaught TypeError: posix_kill(): Argument #1 ($process_id) must be of type int, string given Closes: #12
dqos (Migrated from github.com) approved these changes 2023-03-01 18:45:02 +08:00
dqos (Migrated from github.com) left a comment

Thank you for contributing @MarcHagen

Thank you for contributing @MarcHagen
Sign in to join this conversation.
No description provided.