diff util/generate_messages.cmd @ 565:ff714d7f074d

serve: Fix error reporting when the background pipeline fails.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 09 Oct 2015 16:49:12 -0700
parents f14796cbab0f
children
line wrap: on
line diff