diff options
Diffstat (limited to 'worker')
| -rwxr-xr-x | worker/scripts/fetch_code | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/worker/scripts/fetch_code b/worker/scripts/fetch_code index 7859fb1..2691832 100755 --- a/worker/scripts/fetch_code +++ b/worker/scripts/fetch_code @@ -3,8 +3,8 @@ export LOG_PREFIX="[fetch_code $remote @ $checkout -> $path]" if [[ "$remote" == ssh://* ]]; then - host=$(echo "$url" | sed -E 's#ssh://([^:]+):[0-9]+/.*#\1#') - port=$(echo "$url" | sed -E 's#ssh://[^:]+:([0-9]+)/.*#\1#') + host=$(echo "$remote" | sed -E 's#ssh://([^:]+):[0-9]+/.*#\1#') + port=$(echo "$remote" | sed -E 's#ssh://[^:]+:([0-9]+)/.*#\1#') log "populating host keyz~ $host:$port" ssh-keyscan -p "$port" "$host" > ./cur_known_hosts |