// commandform.js - Function to submit a form with hidden arguments
// 					"command" and "commandarg"

function commandSubmit(cmd, arg) {
	document.forms[0].elements["command"].value = cmd;
	document.forms[0].elements["commandargs"].value = arg;
	doSubmit();
}

function doSubmit() {
  document.forms[0].submit();
}