Merge remote-tracking branch 'origin/master' into staging
Merge branch 'stable' into staging
Merge branch 'stable' into staging
Merge branch 'master' into staging
[backend] Fix program kill.
Merge branch 'stable' into staging
[backend] Fix logging issue when killing process.
[backend] typo fix.
[backend] Add helper to restart Seashell in login.cgi
[backend] Start work on making tests run in background.
[backend] Change diff to use #t/#f to denote add/remove.
[backend] Finish up backend work for tests in background.
[backend] Return dictionary instead of list for test results.
[backend] Adjust result fields for testing.
[backend] Get rid of redundant case.
[backend] Add stdout to test output.
Frontend for testing concurrency fix
Merge branch 'staging' of https://github.com/cs136/seashell into staging
[backend] Fix contract.
Merge branch 'staging' of https://github.com/cs136/seashell into staging