From: Claudio Sacerdoti Coen Date: Mon, 12 Nov 2001 10:28:09 +0000 (+0000) Subject: Better error handling when port is not available. X-Git-Tag: mlminidom_0_2_2~114 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e8f0da12ea20a97083be016fc4e2a09688f786c8;p=helm.git Better error handling when port is not available. --- diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index e1546733e..cf2052a02 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -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