From b5315c7684e8e9047ad2a1db5ffc7151d42233b1 Mon Sep 17 00:00:00 2001
From: Martin <mautner@vrvis.at>
Date: Tue, 30 Apr 2024 12:26:58 +0200
Subject: [PATCH] [GL] Print exceptions raised during disposal of context

---
 src/Aardvark.Rendering.GL/Core/Context.fs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Aardvark.Rendering.GL/Core/Context.fs b/src/Aardvark.Rendering.GL/Core/Context.fs
index e7ac3534..cf2aef1b 100644
--- a/src/Aardvark.Rendering.GL/Core/Context.fs
+++ b/src/Aardvark.Rendering.GL/Core/Context.fs
@@ -531,8 +531,8 @@ type Context(runtime : IRuntime, createContext : ContextHandle option -> Context
                 ContextHandle.delete c
 
             parentContext |> Option.iter ContextHandle.delete
-        with _ ->
-            ()
+        with exn ->
+            Log.error "[GL] Failed to dispose context: %A" exn
 
     interface IDisposable with
         member x.Dispose() = x.Dispose()