32 lines
748 B
Ceylon
32 lines
748 B
Ceylon
import ceylon.uri {
|
|
parse
|
|
}
|
|
import ceylon.http.client {
|
|
get
|
|
}
|
|
|
|
shared void run() {
|
|
|
|
// apparently the cgi link is deprecated?
|
|
value oldUri = "http://tycho.usno.navy.mil/cgi-bin/timer.pl";
|
|
value newUri = "http://tycho.usno.navy.mil/timer.pl";
|
|
|
|
value contents = downloadContents(newUri);
|
|
value time = extractTime(contents);
|
|
print(time else "nothing found");
|
|
}
|
|
|
|
String downloadContents(String uriString) {
|
|
value uri = parse(uriString);
|
|
value request = get(uri);
|
|
value response = request.execute();
|
|
return response.contents;
|
|
}
|
|
|
|
String? extractTime(String contents) =>
|
|
contents
|
|
.lines
|
|
.filter((String element) => element.contains("UTC"))
|
|
.first
|
|
?.substring(4, 21);
|