(strip_exit_codes) Include _ in the list of characters considered as

[pintos-anon] / grading / userprog / write-stdin.exp

(write-stdin) begin
(write-stdin) end
write-stdin: exit(0)
--OR--
(write-stdin) begin
write-stdin: exit(-1)