From 255a205ca10490f28eeaff69153afda578f94ff0 Mon Sep 17 00:00:00 2001
From: "Steinar H. Gunderson" <sgunderson@bigfoot.com>
Date: Sat, 12 Apr 2014 02:25:13 +0200
Subject: [PATCH] Fix an issue where we could take an FBO off a freelist but
 not properly clean fbo_formats.

---
 resource_pool.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resource_pool.cpp b/resource_pool.cpp
index db449dd..39af866 100644
--- a/resource_pool.cpp
+++ b/resource_pool.cpp
@@ -401,6 +401,7 @@ void ResourcePool::cleanup_unlinked_fbos(void *context)
 		pair<void *, GLuint> key(context, fbo_num);
 		assert(fbo_formats.count(key) != 0);
 		if (fbo_formats[key].texture_num == 0) {
+			fbo_formats.erase(key);
 			glDeleteFramebuffers(1, &fbo_num);
 			check_error();
 			fbo_freelist[context].erase(freelist_it++);
-- 
2.39.2