Seashell is an online environment for editing, running, and submitting C programming assignments.
GNU General Public License v3.0
38
stars
19
forks
source link
Resetting Seashell crashes if Seashell is not running. #631
Closed
e45lee closed 7 years ago
This is due to a bad cast on https://github.com/cs136/seashell/blob/master/src/collects/seashell/login/login-gateway.rkt#L147