diff src/luan/host/WebHandler.java @ 1767:9157e0d5936e

minor fix
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 06 Jun 2023 20:31:19 -0600
parents 8df0b80e715e
children
line wrap: on
line diff
--- a/src/luan/host/WebHandler.java	Tue Jun 06 14:33:24 2023 -0600
+++ b/src/luan/host/WebHandler.java	Tue Jun 06 20:31:19 2023 -0600
@@ -56,9 +56,14 @@
 		}
 
 		@Override public void close() {
-			Object obj = dontGc.remove(this);
+			dontGc.remove(this);
 			luanHandler.close();
 		}
+
+		protected void finalize() throws Throwable {
+			// logger.info("gc "+luanHandler.domain);
+			close();
+		}
 	}
 
 	private static final DomainHandler.Factory factory = new DomainHandler.Factory() {