diff options
| author | thompsa <andy@fud.org.nz> | 2010-02-08 12:23:06 +1300 |
|---|---|---|
| committer | thompsa <andy@fud.org.nz> | 2010-02-08 12:23:06 +1300 |
| commit | 06ea9faba91fe5684e14bea9f8591f88b4a7339d (patch) | |
| tree | 6debb4d142237a0d2829660f970d7862285dec4c /config/haproxy-dev | |
| parent | 19cd232b7740f23da662c687d306efecc7df5e6c (diff) | |
| download | pfsense-packages-06ea9faba91fe5684e14bea9f8591f88b4a7339d.tar.gz pfsense-packages-06ea9faba91fe5684e14bea9f8591f88b4a7339d.tar.bz2 pfsense-packages-06ea9faba91fe5684e14bea9f8591f88b4a7339d.zip | |
Provide default for monitor_uri
Diffstat (limited to 'config/haproxy-dev')
| -rw-r--r-- | config/haproxy-dev/haproxy.inc | 7 | ||||
| -rwxr-xr-x | config/haproxy-dev/haproxy_pool_edit.php | 3 |
2 files changed, 8 insertions, 2 deletions
diff --git a/config/haproxy-dev/haproxy.inc b/config/haproxy-dev/haproxy.inc index 0a8f60fc..e60823b3 100644 --- a/config/haproxy-dev/haproxy.inc +++ b/config/haproxy-dev/haproxy.inc @@ -246,7 +246,12 @@ function haproxy_configure() { if($pool['cookie_name']) fwrite ($fd, "\tcookie\t\t\t" . $pool['cookie_name'] . " insert indirect\n"); - fwrite ($fd, "\toption\t\t\t{$httpchk} HEAD " . $pool['monitor_uri'] . " HTTP/1.0\n"); + $uri = $pool['monitor_uri']; + if ($pool['monitor_uri']) + $uri = $pool['monitor_uri']; + else + $uri = "/"; + fwrite ($fd, "\toption\t\t\t{$httpchk} HEAD " . $uri . " HTTP/1.0\n"); if($pool['cookie']) $cookie = " cookie {$pool['cookie']} "; diff --git a/config/haproxy-dev/haproxy_pool_edit.php b/config/haproxy-dev/haproxy_pool_edit.php index 20104a5c..728c9880 100755 --- a/config/haproxy-dev/haproxy_pool_edit.php +++ b/config/haproxy-dev/haproxy_pool_edit.php @@ -286,7 +286,8 @@ function clearcombo(){ <tr align="left"> <td width="22%" valign="top" class="vncell">Health check URI</td> <td width="78%" class="vtable" colspan="2"> - <input name="monitor_uri" type="text" <?if(isset($pconfig['monitor_uri'])) echo "value=\"{$pconfig['monitor_uri']}\"";?>size="64"><br/> + <input name="monitor_uri" type="text" <?if(isset($pconfig['monitor_uri'])) echo "value=\"{$pconfig['monitor_uri']}\"";?>size="64"> + <br/>Defaults to / if left blank. </td> </tr> <tr align="left"> |