search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

Fix reset components #1257

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Fix the debian crashing on reset components.

<runCommand> should not be called while TtyLogger is up and running.