+++ /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;
- }
-}
-
-?>