In Windows 10 the CLI version returns unknown PID

[IGZmanuelMartinVivaldi]

After running from CLI and getting this PID:

kill -SIGUSR1 11020 for logging

We can't find that PID in the active process:

$ ps
      PID    PPID    PGID     WINPID   TTY         UID    STIME COMMAND
    14264   13280   13280      15272  cons0    1049692 18:36:57 /c/Program Files/nodejs/node
    13280   11132   13280      15860  cons0    1049692 18:36:57 /usr/bin/sh
    11132       1   11132      11132  cons0    1049692 17:34:12 /usr/bin/bash

$ bash: kill: (11020) - No such process

Trying with the active PIDs we get some messages but not the log:

$ kill -SIGUSR1 14264
      1 [sig] sh 14264! sigpacket::process: Suppressing signal 30 to win32 process (pid 15272)

$ kill -SIGUSR1 13280
      User defined signal 1

Any idea?

Thanks

[mafintosh]

Don’t know much about windows in this regard, but we can leave this open in case someone else does