Task doesn't execute and OS PID is off

#1

I am not sure if this should be a GH issue, so I am posting it here instead but please let me know if you’d like me to make it an issue.

I am using TaskServer to launch a task. The task succeeds but the command does not get executed, a /bin/bash process does open when I run a task (and stays open). What is peculiar though is that the OS PID is wrong in the TaskInfo object.

See code and process list here: https://i.imgur.com/cUm1mLv.png

The moment I execute the task again, a new PID starts, always wrong by +1.

[original thread by Eiso Kant]

#2

[Eiso Kant]

I saw a related issue and commented there: https://github.com/theia-ide/theia/issues/5825

#3

[rayakoren]

@eiso How did you solve this issue? Do you know if someone is working on a fix?