>> File "<string>", line 34, in store_statements >> AttributeError: __exit__ >> Error in Python script, line 55, file … > > I have no idea. It looks like a python problem.
Partly, yes (of course). > If you want help, you will have to construct a script > that exhibits the error with print statements only. This suggestion will probably not work (because additional test output will not trigger the shown error response alone.) I see solution challenges like the following after the addition of another data type conversion for the network service port variable. elfring@Sonne:~/Projekte/Coccinelle/janitor> /usr/local/bin/spatch --python /usr/bin/python3 -D server_id=127.0.0.1 -D server_port=1234 list_duplicate_statement_pairs_from_if_branches-client2.cocci ~/Projekte/Linux/next-patched/drivers/media/dvb-frontends/stv0297.c … Using Python version: 3.7.2 (default, Dec 30 2018, 16:18:15) [GCC] … connecting Traceback (most recent call last): File "<string>", line 4, in <module> File "<string>", line 35, in store_statements socket.gaierror: [Errno -2] Name or service not known Error in Python script, line 56, file … How should the system configuration details be improved for a simple test connection? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci