Index: tools/python/google/platform_utils_mac.py |
diff --git a/tools/python/google/platform_utils_mac.py b/tools/python/google/platform_utils_mac.py |
index 2e56a3d4bc5eec216c797fd2678d5ea37d8e60d2..c4686fb16eb3123802aa4eb19409267e6573c21e 100644 |
--- a/tools/python/google/platform_utils_mac.py |
+++ b/tools/python/google/platform_utils_mac.py |
@@ -140,4 +140,6 @@ class PlatformUtility(object): |
if not self._httpd_cmd_string: |
return ["true"] # Haven't been asked for the start cmd yet. Just pass. |
- return [self._bash, "-c", self._httpd_cmd_string + ' -k stop'] |
+ # Add a sleep after the shutdown because sometimes it takes some time for |
+ # the port to be available again. |
+ return [self._bash, "-c", self._httpd_cmd_string + ' -k stop && sleep 5'] |