From 1c7809e54261009698b5baab569faf700c8f8dad Mon Sep 17 00:00:00 2001
From: Kevin Zakka <zakka@google.com>
Date: Tue, 2 Jan 2024 08:37:44 -0800
Subject: [PATCH] Free `MjrContext` in Renderer destructor. Fixes #1186.

PiperOrigin-RevId: 595125644
Change-Id: I5dadc3508ec296ba8844fed2a8f5d2de7e53221d
---
 python/mujoco/renderer.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/python/mujoco/renderer.py b/python/mujoco/renderer.py
index dfb387c6..973e8076 100644
--- a/python/mujoco/renderer.py
+++ b/python/mujoco/renderer.py
@@ -315,6 +315,9 @@ the clause:
     if self._gl_context:
       self._gl_context.free()
     self._gl_context = None
+    if self._mjr_context:
+      self._mjr_context.free()
+    self._mjr_context = None
 
   def __enter__(self):
     return self