Make sure we don't build up a huge queue of animations.

www/index.php

@@ -275,6 +275,10 @@ function refresh() {
 				$('#psr_'+k).attr('title', rtitle);
 
 				if (prs == PROVISION_IN_PROGRESS) {
+					if ('undefined' !== typeof row_intervals[k]) {
+						clearInterval(row_intervals[k]);
+						$('#psr_'+k).stop(true, true);
+					}
 					var pulseint = setInterval(function() {
 						$('#psr_'+k).animate({
 								backgroundColor : '#919191',