stream_fini() duplication removed from Briskin5 User derivated class
[brisk.git] / web / Obj / user.phh
index d094055..0f7c46c 100644 (file)
@@ -755,6 +755,8 @@ class User {
 
   public static function stream_fini($init_string, $is_unrecoverable)
 {
+    printf("xXx user::stream_fini\n");
+
     // IF IFRAME THEN:
     $body = "";
     $body .= sprintf("<html>