browser-gc no longer on ping by default, manual do after menus and trees

This commit is contained in:
David Botton 2024-06-10 21:40:06 -04:00
parent 9d7d58c3b8
commit dd1ed6580c
6 changed files with 23 additions and 10 deletions

View file

@ -97,11 +97,13 @@
connection))
(websocket-driver:close-connection connection)) ; don't send the reason for better security
((equal (first ml) "0")
;; a ping - run browser gc
(execute connection-id
;; a ping
(when *browser-gc-on-ping*
;; run browser gc
(execute connection-id
"Object.entries(clog).forEach(function(c,i,a)
{if ((c[1] !== null) && (typeof c[1] === 'object') && (c[1].nodeType===1))
{if (c[1].isConnected===false) {delete clog[c[0]]}}})")
{if (c[1].isConnected===false) {delete clog[c[0]]}}})"))
(when *verbose-output*
(format t "Connection ~A Ping~%" connection-id)))
((equal (first ml) "E")