diff options
| author | José Fonseca <jfonseca@vmware.com> | 2009-02-19 12:58:00 +0000 |
|---|---|---|
| committer | José Fonseca <jfonseca@vmware.com> | 2009-02-19 13:29:04 +0000 |
| commit | b9c5e41688de0e2978cf2cc50fd6ba096302884d (patch) | |
| tree | c6e6069bf9ae12191eb941a66441df4dd8a03c19 | |
| parent | 526e8451455d43c815828e7dd319defcd518631f (diff) | |
wgl: Call pipe_screen::destroy on exit.
| -rw-r--r-- | src/gallium/state_trackers/wgl/shared/stw_device.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/gallium/state_trackers/wgl/shared/stw_device.c b/src/gallium/state_trackers/wgl/shared/stw_device.c index d85cb45084..4d705b4682 100644 --- a/src/gallium/state_trackers/wgl/shared/stw_device.c +++ b/src/gallium/state_trackers/wgl/shared/stw_device.c @@ -108,11 +108,11 @@ st_cleanup(void) pipe_mutex_destroy( stw_dev->mutex ); - if(stw_dev) { + stw_dev->screen->destroy(stw_dev->screen); + #ifdef DEBUG - debug_memory_end(stw_dev->memdbg_no); + debug_memory_end(stw_dev->memdbg_no); #endif - } stw_dev = NULL; } |