tree 819339cdc0b49ead28e6e99a9c3b6fae8020dd1d
parent 9fbcc126f375dd73b19ccc2ba1e23409e3de4a9b
author Gilad Arnold <garnold@chromium.org> 1346682516 -0700
committer Gerrit <chrome-bot@google.com> 1346706079 -0700

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).

BUG=None
TEST=devserver dies properly with Ctrl-C

Change-Id: I88c83512b119e7cc66e632083aa1fc5ae27221dc
Reviewed-on: https://gerrit.chromium.org/gerrit/32107
Reviewed-by: Darin Petkov <petkov@chromium.org>
Commit-Ready: Gilad Arnold <garnold@chromium.org>
Tested-by: Gilad Arnold <garnold@chromium.org>