Add script to restart iOS device

platform_tools/ios/bin/ios_setup.sh

 #!/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.
 ###############################################################################
 #
 # ios_setup.sh: Sets environment variables used by other iOS scripts.
 
@@ skipping 84 matching lines @@
 }
 
 # ios_umount: unmounts the ios device.
 ios_umount() {
   umount $IOS_MOUNT_POINT
   sleep 1
 }
 
 # ios_restart: restarts the iOS device.
 ios_restart() {
+  ios_umount || true 
   idevicediagnostics restart
 }
 
 # ios_pull(ios_src, host_dst): Copies the content of ios_src to host_dst.
 # The path is relative to the 'Documents' folder on the device.
 ios_pull() {
   # read input params
   local IOS_SRC="$IOS_MOUNT_POINT/$IOS_DOCS_DIR/$1"
   local HOST_DST="$2"
 
@@ skipping 63 matching lines @@
 #       adb_push_if_needed $HOST_SRC $ANDROID_DST
 #     else
 #       echo -n "$ANDROID_DST "
 #       $ADB $DEVICE_SERIAL shell mkdir -p "$(dirname "$ANDROID_DST")"
 #       $ADB $DEVICE_SERIAL push $HOST_SRC $ANDROID_DST
 #     fi
 #   fi
 # }
 
 # setup_device "${DEVICE_ID}"