From aa8d6f63cc3b8ce1d8c7473ab59bbc2b2f92010c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 31 Mar 2013 14:44:45 +0200
Subject: [PATCH] Ensure program is terminated when swap interval cannot be
 changed

---
 glxbackend.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/glxbackend.cpp b/glxbackend.cpp
index ff126eb..7841bbe 100644
--- a/glxbackend.cpp
+++ b/glxbackend.cpp
@@ -2,6 +2,7 @@
 
 #include <stdio.h>
 #include <assert.h>
+#include <stdlib.h>
 #include <GL/glxext.h>
 #include <string>
 
@@ -80,6 +81,8 @@ void GLXBackend::setSwapInterval(int i) const
 		funSwapIntervalExt(display, window, i);
 	else if (funSwapIntervalMesa)
 		funSwapIntervalMesa(i);
-	else
-		assert(false && "At least one of glXSwapIntervalMESA, glXSwapIntervalEXT must be provided by the system");
+	else {
+		fprintf(stderr, "At least one of glXSwapIntervalMESA, glXSwapIntervalEXT must be provided by the system\n");
+		abort();
+	}
 }
-- 
2.30.2