On Mon, 25 Oct 2010 19:37:23 +0200 (CEST) victor.stinner <python-checkins at python.org> wrote: > > - if (argc == 0) > - return; > argv0 = argv[0]; Well, are you sure argv[0] is valid when argc is 0? Regards Antoine.