start_devserver: do not forward kill signal to devserver

This is a slight modification to a previous fix, in which
start_devserver would catch various signals and forward them (kill) to
the underlying devserver. Apparently, SIGINT is being ignored by the
Python interpreter, leaving an orphaned child process running. Instead,
we just kill with the default signal (SIGTERM).

TEST=devserver dies properly with Ctrl-C

Change-Id: I88c83512b119e7cc66e632083aa1fc5ae27221dc
Reviewed-by: Darin Petkov <>
Commit-Ready: Gilad Arnold <>
Tested-by: Gilad Arnold <>
1 file changed