Free MjrContext in Renderer destructor. Fixes #1186.

PiperOrigin-RevId: 595125644 Change-Id: I5dadc3508ec296ba8844fed2a8f5d2de7e53221d
2024-01-02 08:37:44 -08:00
parent 4c066a26b5
commit 1c7809e542
1 changed files with 3 additions and 0 deletions
@@ -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