Added ssh -t option to dejaGNU so remote commands would terminate properly.
Added process termination in command_executer.py so it would terminate
 defunct processes.
Added option to terminate processes within a certain time.
 Removed the -j<numprocs+1> flag from repo sync -- it was causing failures.

PRESUBMIT=passed
R=bjanakiraman,raymes
DELTA=76  (68 added, 0 deleted, 8 changed)
OCL=49591-p2
RCL=49641-p2
RDATE=2011/03/08 12:19:45


P4 change: 42618059
5 files changed
tree: 1a7870158f2d240e2f8b7dee4fd8cc4ffe06e4c0
  1. .git5_specs/
  2. v14/