in mujoco_py/gl/eglshim.c [154:178]
void closeOpenGL()
{
int device_id;
for (device_id=0; device_id<MAX_DEVICES; device_id++) {
if (!is_device_initialized[device_id])
continue;
EGLDisplay eglDpy = eglDisplays[device_id];
if( eglDpy==EGL_NO_DISPLAY )
continue;
// get current context
EGLContext eglCtx = eglContexts[device_id];
// release context
eglMakeCurrent(eglDpy, EGL_NO_SURFACE, EGL_NO_SURFACE, EGL_NO_CONTEXT);
// destroy context if valid
if( eglCtx!=EGL_NO_CONTEXT )
eglDestroyContext(eglDpy, eglCtx);
// terminate display
eglTerminate(eglDpy);
}
}