diff options
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; + } +} |