websocket graceful shutdown and safety queue

[brisk.git] / web / Obj / user.phh

diff --git a/web/Obj/user.phh b/web/Obj/user.phh
index 573883c..d6a4395 100644 (file)
--- a/web/Obj/user.phh
+++ b/web/Obj/user.phh
@@ -869,6 +869,11 @@ function stream_close()
     return ($this->rd_transp->close());
 }
 
+function stream_postclose_get($sock, $curtime)
+{
+    return ($this->rd_transp->postclose_get($sock, $curtime));
+}
+
 static function base_get()
 {
     $c = get_called_class();