src/Pure/Admin/remote_dmg.scala
changeset 69277 258bef08b31e
parent 67844 7f82445e8f0e
equal deleted inserted replaced
69276:3d954183b707 69277:258bef08b31e
    58 
    58 
    59         val options = Options.init()
    59         val options = Options.init()
    60         using(SSH.open_session(options, host = host, user = user, port = port))(
    60         using(SSH.open_session(options, host = host, user = user, port = port))(
    61           remote_dmg(_, tar_gz_file, dmg_file, volume_name))
    61           remote_dmg(_, tar_gz_file, dmg_file, volume_name))
    62       }
    62       }
    63     }, admin = true)
    63     })
    64 }
    64 }