]> matita.cs.unibo.it Git - helm.git/commitdiff
Better error handling when port is not available.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 10:28:09 +0000 (10:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 10:28:09 +0000 (10:28 +0000)
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