Re: [RFC - Python] New ObjFile event

Tom Tromey
2011-10-03T16:32:12Z

>>>>> "Kevin" == Kevin Pouget <kevin.pouget@gmail.com> writes:

Kevin> Allow Python notification of new object-file loadings.
[...]

Kevin> +During the callback, ``current objfile'' will be set to the new object file
Kevin> +(@pxref{Objfiles In Python}).

Why not simply make the objfile object an attribute of the event?
That seems cleaner to me.

Kevin> + if (objfile == NULL)
Kevin> + return;

Indentation looks off.

Tom