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