]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.pl.in
Better error handling when port is not available.
[helm.git] / helm / http_getter / http_getter.pl.in
index e1546733e4c71aaa452e0a172d110a9bc0b1c377..cf2052a0236c345db549da9762485735c411657c 100755 (executable)
@@ -79,7 +79,8 @@ use URI::Escape;
 #CSC: ==> non e' robusto
 #CSC: altra roba da sistemare segnata con CSC
 
-my $d = new HTTP::Daemon LocalPort => 8081;
+my $d = new HTTP::Daemon LocalPort => 8081
+ or die "Error: port 8081 not available.";
 my $myownurl = $d->url;
 
 # Let's patch the returned URL