On Thu, 29 Dec 2011, SF Markus Elfring wrote:
You can say cocci.exit(). I guess it could allow passing an error code as well.Does your programming interface provide any predefined values that can be reused?
Currently you can only say cocci.exit with no argument. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
