From c9d2ad845c2d12b11d8c46728190d00295499363 Mon Sep 17 00:00:00 2001
From: Matej Ferencevic <matej.ferencevic@memgraph.io>
Date: Tue, 17 Apr 2018 11:17:30 +0200
Subject: [PATCH] Increase pip timeout

Reviewers: buda

Reviewed By: buda

Subscribers: pullbot

Differential Revision: https://phabricator.memgraph.io/D1360
---
 init | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/init b/init
index 4b0961580..edf33184b 100755
--- a/init
+++ b/init
@@ -43,7 +43,9 @@ function setup_virtualenv () {
     # create new virtualenv
     virtualenv -p python3 ve3 || exit 1
     source ve3/bin/activate
-    pip install -i http://deps.memgraph.io:3141/root/pypi \
+    # we need to increase the timeout for pip because our local cache server
+    # can sometimes be stupid, see: https://github.com/devpi/devpi/issues/208
+    pip --timeout 1000 install -i http://deps.memgraph.io:3141/root/pypi \
                 --trusted-host deps.memgraph.io -r requirements.txt || exit 1
     deactivate