The javascript for the pools page does help :)

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