diff options
| author | Renaud Paquay <rpaquay@google.com> | 2016-11-01 11:24:52 -0700 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@collab.net> | 2017-05-29 13:56:18 +0900 |
| commit | 35d22217a5ed2f8b5b9b183217923071ccfe7f37 (patch) | |
| tree | c964046a80b06fa502887e653c3ccd8482966332 /platform_utils.py | |
| parent | a24671f661f1fae6678e2bcdd3c9fbae0ad7100f (diff) | |
| download | git-repo-35d22217a5ed2f8b5b9b183217923071ccfe7f37.tar.gz | |
Ensure repo waits for child process to terminate
See http://stackoverflow.com/questions/7004687/os-exec-on-windows:
execv on Windows does not behave as on Linux, i.e. a new process is
spawned and the parent process terminates right away, which makes the
shell prompt come back too soon.
Change-Id: I1f8d23208765988629f081e9b949c67cf71c08ae
Diffstat (limited to 'platform_utils.py')
0 files changed, 0 insertions, 0 deletions