diff options
author | Bill Marquette <billm@pfsense.org> | 2005-08-06 18:57:07 +0000 |
---|---|---|
committer | Bill Marquette <billm@pfsense.org> | 2005-08-06 18:57:07 +0000 |
commit | 41901fa6915785fc6279499d446d615873dd409c (patch) | |
tree | f7065ccccf392d2be7f5b6a3c818f84a901db7ea /usr/local/www/pool.js | |
parent | 48918ed5104eff047e1a4f066e565a98258279fd (diff) | |
download | pfsense-41901fa6915785fc6279499d446d615873dd409c.zip pfsense-41901fa6915785fc6279499d446d615873dd409c.tar.gz |
The javascript for the pools page does help :)
Diffstat (limited to 'usr/local/www/pool.js')
-rwxr-xr-x | usr/local/www/pool.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/usr/local/www/pool.js b/usr/local/www/pool.js new file mode 100755 index 0000000..7d0f8cb --- /dev/null +++ b/usr/local/www/pool.js @@ -0,0 +1,16 @@ +function AddServerToPool(form) { + var ServerPort=form.ipaddr.value; + form['servers[]'].options[form['servers[]'].options.length] = new Option(ServerPort,ServerPort); +} + +function RemoveServerFromPool(form) { + form.ipaddr=form['servers[]'].options[form['servers[]'].selectedIndex].value; +} + +function AllServers(id, selectAll) { + var opts = document.getElementById(id).getElementsByTagName('option'); + for (i = 0; i < opts.length; i++) + { + opts[i].selected = selectAll; + } +} |