> Oliver Bock <[EMAIL PROTECTED]> writes: >> >> I've implemented the infinite loop-catching suggestion by instrumenting >> the Python code. I haven't adopted the techniques from the article Ian >> found because I'm lazy, and because my users are silly, not evil. It >> took a bit of buggering about but the result is fairly simple. Read on >> if you're interested. >> >> ................ >> >> Thanks for all the help. >> >> Oliver > > That is what I like about Python many ways to get the job done. > > Hmmm, I guess Alan Turing must not have been using Python. :)
Mr Turing only said you couldnt (reliably) predict it, not that it cant be caught when it happens. That said, I'd *suspect* that you can actually say "It is possible to write a program on a universal machine that will tell if another universal machine will complete before a certain time/iiterations", but to know if it would ever end is not (reliably) possible (Although one could look for certain heuristics that are known to be infinite a-priori). I didnt know the parse tree stuff btw, what a clever little critter a python is. > > > All the advantages of Linux Managed Hosting--Without the Cost and Risk! > Fully trained technicians. The highest number of Red Hat certifications in > the hosting industry. Fanatical Support. Click to learn more > http://sel.as-us.falkag.net/sel?cmd=lnk&kid=107521&bid=248729&dat=121642 > _______________________________________________ > Webware-discuss mailing list > Webware-discuss@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/webware-discuss > Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Webware-discuss mailing list Webware-discuss@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/webware-discuss
