1. 03 Oct, 2019 2 commits
  2. 29 Sep, 2019 1 commit
  3. 28 Aug, 2019 2 commits
  4. 26 Aug, 2019 1 commit
  5. 27 Oct, 2018 1 commit
  6. 15 Oct, 2018 1 commit
  7. 14 Oct, 2018 2 commits
  8. 12 Oct, 2018 2 commits
    • Fangyi Zhou's avatar
      Add MIT license · 0ab41b7f
      Fangyi Zhou authored
      0ab41b7f
    • Fangyi Zhou's avatar
      Fix an issue where processes are killed unexpectedly · 200b3b16
      Fangyi Zhou authored
      Summary:
      Fix #18
      
      cd8fb2d0 introduced the trap on exits or
      interrupts to kill the children processes. The original techniques uses SID
      (Session ID), but didn't account for the issue that other processes may be
      under the same session, which would get killed unexpectedly.
      
      Considering that the new processes spawned by the script does not necessarily
      belong to the same process group (sharing the same PGID). We use a variable to
      store the PID of child processes and kill them at the trap.
      
      Also add the missing untrap, which was missing due to an oversight in
      d0073378
      
      Signed-off-by: Fangyi Zhou's avatarFangyi Zhou <fangyi.zhou15@imperial.ac.uk>
      200b3b16
  9. 01 Oct, 2018 3 commits
  10. 04 Mar, 2018 1 commit
  11. 03 Mar, 2018 6 commits
  12. 02 Mar, 2018 3 commits
  13. 01 Mar, 2018 6 commits
  14. 24 Feb, 2018 3 commits
  15. 22 Feb, 2018 3 commits
  16. 15 Feb, 2018 3 commits