126127128129130131132133134135136
} else { host = path; path = Bs.valueOf("/"); } int c = host.indexOf(':'); if (c < 0) { port = 80; } else { port = (int) host.sub(c + 1).toLong(); host = host.slice(0, c);