diff -r 69ac9ee00ec1 -r cbb1425bc769 src/js/utils.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/js/utils.js	Fri Sep 09 15:13:06 2011 +0200
@@ -0,0 +1,13 @@
+/* utils.js - various utils that don't belong anywhere else */
+
+/* trace function, for debugging */
+
+IriSP.traceNum = 0;
+IriSP.trace = function( msg, value ) {
+
+	if( IriSP.config.gui.debug === true ) {
+		IriSP.traceNum += 1;
+		IriSP.jQuery( "<div>"+IriSP.traceNum+" - "+msg+" : "+value+"</div>" ).appendTo( "#Ldt-output" );
+	}
+};
+