Allow setting a custom timeout time with ENV

pygments · Dec 10, 2013 · e0ed7f7 · e0ed7f7 · FranklinChen · Dec 24, 2013
1 parent ddf8e12
commit e0ed7f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/pygments/popen.rb b/lib/pygments/popen.rb
@@ -214,7 +214,7 @@ def mentos(method, args=[], kwargs={}, original_code=nil)
 
       begin
         # Timeout requests that take too long.
-        timeout_time = 8
+        timeout_time = ENV["MENTOS_TIMEOUT"] || 8
 
         Timeout::timeout(timeout_time) do
           # For sanity checking on both sides of the pipe when highlighting, we prepend and