--- /dev/null
+<?php
+global $last_msg;
+$last_msg = "";
+
+function out ($file, $line, $message, $displayDouble = false) {
+ global $last_msg;
+ if (($last_msg != $message) || ($displayDouble)) {
+ print(basename($file)."[${line}]: ${message}\n");
+ $last_msg = $message;
+ }
+}
+
+?>