On 12.04.2019 21:05, Steve Dower wrote:
On 12Apr.2019 0919, Jeroen Demeyer wrote:
The signal handler (that receives signals from the OS) in Python starts
with a check
if (getpid() == main_pid)
Looking at the comments, the intent was to do a check for the main
*thread* but this is checking
On 12Apr.2019 0919, Jeroen Demeyer wrote:
> The signal handler (that receives signals from the OS) in Python starts
> with a check
>
> if (getpid() == main_pid)
>
> Looking at the comments, the intent was to do a check for the main
> *thread* but this is checking the *process* id. So this con
The signal handler (that receives signals from the OS) in Python starts
with a check
if (getpid() == main_pid)
Looking at the comments, the intent was to do a check for the main
*thread* but this is checking the *process* id. So this condition is
basically always true. Therefore, I sugges
