executing explorers works
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
85df71c9fa
commit
9036f8c4cc
1 changed files with 2 additions and 0 deletions
|
@ -103,6 +103,8 @@ def global_explore(hostname):
|
||||||
transfer_global_explorers(hostname)
|
transfer_global_explorers(hostname)
|
||||||
for explorer in explorers:
|
for explorer in explorers:
|
||||||
remote_run_or_fail(hostname, [remote_global_explorer_path(explorer)])
|
remote_run_or_fail(hostname, [remote_global_explorer_path(explorer)])
|
||||||
|
|
||||||
|
remote_run_or_fail(hostname, [remote_global_explorer_path("moo")])
|
||||||
|
|
||||||
|
|
||||||
def init_deploy(hostname):
|
def init_deploy(hostname):
|
||||||
|
|
Loading…
Reference in a new issue