Fix the issue where a failed build would bring down the production server
mentioned in commit 64ccc609
merged