search

rock-core / tools-roby

The roby plan manager
Other
3 stars 11 forks source link

feat: add a timeout after which InterruptibleWithSignal kills the process with KILL #224

Closed doudou closed 2 years ago