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? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
