| `Stdin -> input_line stdin
| `Cmdline -> Sys.argv.(!idx)
in
- printf "Testing URI: %s ...\t";
+ printf "Testing URI: %-55s " (uri_str ^ " ..."); flush stdout;
let uri = UriManager.uri_of_string uri_str in
if test_uri uri then begin
print_endline "\e[01;32m[ OK ]\e[00m";