Handle failures properly.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 3 Feb 2016 21:00:35 +0000 (22:00 +0100)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 3 Feb 2016 21:00:35 +0000 (22:00 +0100)
commit22eb06e46953f2585ae0a62e60c1ce259fa51f8b
treed65bce0fd58d75b78145cc788813335b29a664d6
parent7780d3cb50b7de14a9d5efbe2c0a1e8ef116844c
Handle failures properly.
docker.sh