From de09082dacba003ca141c6375c953cb9dcbbd195 Mon Sep 17 00:00:00 2001
From: Jukka Aho <ahojukka5@gmail.com>
Date: Sun, 5 Jul 2015 17:10:18 +0300
Subject: [PATCH] random port

---
 docs/build_notebooks.jl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/build_notebooks.jl b/docs/build_notebooks.jl
index f9a87b9..730ee2a 100644
--- a/docs/build_notebooks.jl
+++ b/docs/build_notebooks.jl
@@ -47,10 +47,10 @@ function run_notebooks()
             runtime = 0
             status = 1
             println("Running notebook tutorials/$ipynb")
-            port = 34211+k  # we're having some weird port issue with zmq
-            k += 1
+            # port = 34211+k  # we're having some weird port issue with zmq
+            # k += 1
             try
-                run(`runipy -o tutorials/$ipynb --kernel=julia-0.4 --port=$port`)
+                run(`runipy -o tutorials/$ipynb --kernel=julia-0.4`)
                 status = 0
             catch
                 println("did not work")