[OpenTK] Dispose() now clear the list of resources

diff --git a/Source/OpenTK/Platform/PlatformFactoryBase.cs b/Source/OpenTK/Platform/PlatformFactoryBase.cs
index a97c2da..69341d7 100644 (file)
--- a/Source/OpenTK/Platform/PlatformFactoryBase.cs
+++ b/Source/OpenTK/Platform/PlatformFactoryBase.cs
@@ -114,11 +114,13 @@ namespace OpenTK.Platform
                         {
                             resource.Dispose();
                         }
+                        Resources.Clear();
                     }
                 }
                 else
                 {
-                    Debug.Print("[OpenTK] {0} leaked, did you forget to call Dispose()?", GetType());
+                    Debug.Print("[OpenTK] {0} leaked with {1} live resources, did you forget to call Dispose()?",
+                        GetType().FullName, Resources.Count);
                 }
                 IsDisposed = true;
             }