prevent forms from being double-submitted

public/js/forms.js

@@ -1,8 +1,8 @@
 function check_all(id) {
 	var obj = document.getElementById(id);
 	var boxes = obj.getElementsByTagName("input");
-	for(var i = 0; i < boxes.length; i++) {
+	for ( var i = 0; i < boxes.length; i++) {
-		if(boxes[i].type == "checkbox" && !boxes[i].disabled)
+		if (boxes[i].type == "checkbox" && !boxes[i].disabled)
 			boxes[i].checked = true;
 	}
 }
@@ -10,8 +10,15 @@ function check_all(id) {
 function uncheck_all(id) {
 	var obj = document.getElementById(id);
 	var boxes = obj.getElementsByTagName("input");
-	for(var i = 0; i < boxes.length; i++) {
+	for ( var i = 0; i < boxes.length; i++) {
-		if(boxes[i].type == "checkbox")
+		if (boxes[i].type == "checkbox")
 			boxes[i].checked = false;
 	}
 }
+
+$(function() {
+	$('form').submit(function(ev) {
+		$('input[type="submit"]').prop("readonly", true).addClass("disabled");
+		return true;
+	});
+});