diff options
author | Scott Ullrich <sullrich@pfsense.org> | 2005-09-13 18:16:06 +0000 |
---|---|---|
committer | Scott Ullrich <sullrich@pfsense.org> | 2005-09-13 18:16:06 +0000 |
commit | 0016161d0535c8aa849fb4b393b796b595566da0 (patch) | |
tree | 3e2b47d20ac3ba1279bb5bf0f276fd454c9d1c5a /etc | |
parent | 77482402b1a1240de8060951039ee47393b9e6ac (diff) | |
download | pfsense-0016161d0535c8aa849fb4b393b796b595566da0.zip pfsense-0016161d0535c8aa849fb4b393b796b595566da0.tar.gz |
Test on $port == ""
Diffstat (limited to 'etc')
-rw-r--r-- | etc/inc/filter.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/inc/filter.inc b/etc/inc/filter.inc index d92c516..e7633e6 100644 --- a/etc/inc/filter.inc +++ b/etc/inc/filter.inc @@ -2370,7 +2370,7 @@ function carp_sync_client() { } $port = $config['system']['webgui']['port']; /* if port is empty lets rely on the protocol selection */ - if(!is_int($port)) { + if($port == "") { if($config['system']['webgui']['protocol'] == "http") { $port = "80"; } else { |