130131132133134135136137138139140
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");