documentor: extra check for proper exit when disabling command piping
authorJerome St-Louis <jerome@ecere.com>
Mon, 30 Sep 2013 06:16:46 +0000 (02:16 -0400)
committerJerome St-Louis <jerome@ecere.com>
Mon, 30 Sep 2013 06:16:46 +0000 (02:16 -0400)
commitf40a4468171687e12070e65df9d76912deacd16a
tree443e836567b99b35ef60326fbe3753967c483e80
parentc8b136f311797436069da13a11ae244885713466
documentor: extra check for proper exit when disabling command piping
documentor/src/Documentor.ec