From 28bff062115c588192bb98d4a8687da4da845e5a Mon Sep 17 00:00:00 2001
From: peusterm <manuel.peuster@uni-paderborn.de>
Date: Sat, 16 Apr 2016 05:53:01 +0200
Subject: [PATCH] Fix: new try ... ensure that dockernet is fetched from the
 right repo ...

---
 utils/docker/Dockerfile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/utils/docker/Dockerfile b/utils/docker/Dockerfile
index b2ad266..9618c5e 100644
--- a/utils/docker/Dockerfile
+++ b/utils/docker/Dockerfile
@@ -1,9 +1,11 @@
 FROM cgeoffroy/dockernet
 
 # ensure that we have the latest dockernet code base!
+WORKDIR /
+RUN rm -rf dockernet
+RUN git clone -b dockernet-sonata https://github.com/mpeuster/dockernet.git
 WORKDIR /dockernet
-RUN git pull \
-    && python setup.py develop
+RUN python setup.py develop
 
 WORKDIR /son-emu
 
-- 
2.25.1