| changeset 51699 | ca7bde5dbafb |
| parent 51696 | 7f0cb9ee0534 |
| child 51859 | f4733654f144 |
| 51698:b0a4de6c14f8 | 51699:ca7bde5dbafb |
|---|---|
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 |
|
715 else: |
714 else: |
716 |
715 |
717 def runbgcommand( |
716 def runbgcommand( |
718 cmd, |
717 cmd, |
719 env, |
718 env, |