From 8983a4904b973eb7ca3e0b510aec55d4ce8506f7 Mon Sep 17 00:00:00 2001 From: Tony Fettes Date: Mon, 5 Aug 2024 21:19:31 +0800 Subject: [PATCH] fix: don't apply again when terminating --- src/Webapi/Dom/Webapi__Dom__Worker.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Webapi/Dom/Webapi__Dom__Worker.re b/src/Webapi/Dom/Webapi__Dom__Worker.re index cedd7a4..664d012 100644 --- a/src/Webapi/Dom/Webapi__Dom__Worker.re +++ b/src/Webapi/Dom/Webapi__Dom__Worker.re @@ -7,7 +7,7 @@ include Webapi__Dom__EventTarget.Impl({ [@mel.new] external make: string => t = "Worker"; [@mel.new] external makeWithUrl: Webapi__Url.t => t = "Worker"; [@mel.send.pipe: t] external postMessage: 'a => unit = "postMessage"; -[@mel.send.pipe: t] external terminate: unit => unit = "terminate"; +[@mel.send.pipe: t] external terminate: unit = "terminate"; [@mel.send.pipe: t] external addMessageEventListener: