[patch] Implement post_event for Python scripts.

[Daniel Jacobowitz]

On Wed, Aug 18, 2010 at 02:45:52PM +0100, Pedro Alves wrote:
> I'm also not sure whether ...
> 
> > /* We use a file handler, and not an async handler, so that we can
> >    wake up the main thread even when it is blocked in poll().  */
> > static int gdbpy_event_fds[2];
> 
> ... mingw-htep.c:gdb_select will be smart enough to apply the
> proper select for that file descriptor, or if we need to bring
> the whole patch in.

I think it'll work; it falls back to _get_osfhandle, So if you can
WaitForMultipleObjects on the Windows pipe handle, it'll do OK.  It
was just for some serial cases where you needed a separate handle that
we had problems.  OTOH if waiting for the pipe handle means you can
connect to it, or some other interpretation, we'll be back to the
beginning.  You could maybe adapt ser-pipe.

-- 
Daniel Jacobowitz
CodeSourcery