From cda127f4ae68dc8218135308d3aa65edc12da516 Mon Sep 17 00:00:00 2001
From: Jukka Aho <ahojukka5@gmail.com>
Date: Sat, 1 Aug 2015 16:09:56 +0300
Subject: [PATCH] added timeout for notebook building

---
 docs/build_notebooks.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/build_notebooks.jl b/docs/build_notebooks.jl
index 9efc4c0..8bedb31 100644
--- a/docs/build_notebooks.jl
+++ b/docs/build_notebooks.jl
@@ -55,7 +55,7 @@ function run_notebooks()
             # port = 34211+k  # we're having some weird port issue with zmq
             # k += 1
             try
-                run(`runipy -o tutorials/$ipynb --kernel=julia-0.4`)
+                run(`timeout 180 runipy -o tutorials/$ipynb --kernel=julia-0.4`)
                 status = 0
             catch
                 println("did not work")