protected override void OnUnload(System.EventArgs e) { logger.Debug("Shutting down Forager"); if (dataWriter != null) { dataWriter.WriteEndList(); dataWriter.WriteEndDocument(); // Close output file dataWriter.Close(); } logger.Debug("Freeing textures"); foreach (var textureId in Enumerable.Concat(playerTextureIds, Enumerable.Concat(playerGrayTextureIds, foodTextureIds))) { GL.DeleteTexture(textureId); } if (endGameState.TextureId > 0) { GL.DeleteTexture(endGameState.TextureId); } }
protected override void OnUnload(System.EventArgs e) { logger.Debug("Shutting down Pixel"); if (dataWriter != null) { dataWriter.WriteEndList(); dataWriter.WriteEndDocument(); // Close output file dataWriter.Close(); } logger.Debug("Freeing textures"); foreach (var textureId in playerTextureIds) { GL.DeleteTexture(textureId); } }