Thanks for everyone's comments - much appreciated!
Malcolm (the OP) -- http://mail.python.org/mailman/listinfo/python-list
- Cancel or timeout a long running regular expression python
- Re: Cancel or timeout a long running regular expressio... Terry Reedy
- Re: Cancel or timeout a long running regular expre... Chris Angelico
- Re: Cancel or timeout a long running regular expressio... Nobody
- Re: Cancel or timeout a long running regular expre... Terry Reedy
- Re: Cancel or timeout a long running regular expre... Nobody
- Re: Cancel or timeout a long running regular e... python
