[GL] Handle and log exceptions when writing shader cache

aardvark-platform · Sep 18, 2023 · 796fe82 · 796fe82
1 parent 3826928
commit 796fe82
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/Aardvark.Rendering.GL/Resources/Program.fs b/src/Aardvark.Rendering.GL/Resources/Program.fs
@@ -692,7 +692,12 @@ module ProgramExtensions =
                                                         code = code.code
                                                         modes = prog.SupportedModes
                                                     }
-                                                File.writeAllBytes file entry
+
+                                                try
+                                                    File.writeAllBytes file entry
+                                                with
+                                                | exn ->
+                                                    Log.warn "[GL] Failed to write to shader program file cache '%s': %s" file exn.Message
 
                                                 #if PICKLERTEST
                                                 let test = shaderPickler.UnPickle (File.readAllBytes file)