changeset 4:b88e722ae3d7 draft default tip

Uploaded
author simon-gladman
date Mon, 24 Feb 2014 22:07:52 -0500
parents 3918317b6e63
children
files vennt.xml
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/vennt.xml	Mon Feb 24 21:53:27 2014 -0500
+++ b/vennt.xml	Mon Feb 24 22:07:52 2014 -0500
@@ -16,6 +16,9 @@
     <outputs>
         <data name="output" format="html" label="${tool.name} on ${on_string}: html"/>
     </outputs>
+    <stdio>
+        <exit_code range="1" level="fatal" description="Vennt python error. See stderr output." />
+    </stdio>
     
     <help>
 **Vennt**