Index: platform_tools/ios/bin/ios_setup.sh |
diff --git a/platform_tools/ios/bin/ios_setup.sh b/platform_tools/ios/bin/ios_setup.sh |
index d9d7a2e7aecf22f2ea03b23979b3a1a5ea5c6e78..fc6386c6b3fc56a37280df9f0776caf28bb75728 100755 |
--- a/platform_tools/ios/bin/ios_setup.sh |
+++ b/platform_tools/ios/bin/ios_setup.sh |
@@ -102,6 +102,7 @@ ios_umount() { |
# ios_restart: restarts the iOS device. |
ios_restart() { |
+ ios_umount || true |
idevicediagnostics restart |
} |