This allows to restart the device.

BUG=skia:
TBR=borenet

Review URL: https://codereview.chromium.org/1137873007

platform_tools/ios/bin/ios_restart

@@ -0,0 +1,17 @@
+#!/bin/bash
+###############################################################################
+# Copyright 2015 Google Inc.
+#
+# Use of this source code is governed by a BSD-style license that can be
+# found in the LICENSE file.
+###############################################################################
+#
+# Restarts the the attached iOS device. 
+#
+set -x -e
+
+SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+source $SCRIPT_DIR/ios_setup.sh
+
+ios_restart 
+sleep 20

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
 }