| changeset 51700 | 7f0cb9ee0534 |
| parent 51690 | 493034cc3265 |
| child 51703 | ca7bde5dbafb |
| 51699:bd1483fd7088 | 51700:7f0cb9ee0534 |
|---|---|
709 record_wait(p.wait) |
709 record_wait(p.wait) |
710 finally: |
710 finally: |
711 if stdin is not None: |
711 if stdin is not None: |
712 stdin.close() |
712 stdin.close() |
713 |
713 |
714 |
|
714 else: |
715 else: |
715 |
716 |
716 def runbgcommand( |
717 def runbgcommand( |
717 cmd, |
718 cmd, |
718 env, |
719 env, |