commit 0a0cb33c79a6fecf74e55e1793240f9015804c3b
parent e3a5dbf0ec00bd85e0bfed11d5978d3e8895cfb3
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Sun, 13 Nov 2016 02:36:50 +0100
Suppressing unneeded output
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docker/selenium/launch_selenium_test b/docker/selenium/launch_selenium_test
@@ -10,7 +10,7 @@
eval $(docker-machine env)
# Get fresh image
-if docker restart container_chrome ;
+if docker restart container_chrome > /dev/null;
then echo "Chrome container succesfully restarted";
fi