Fixed bug in patch file. webplugin.py now uses PolytomySolver 1.2.4.
webplugin.py uses PolytomySolver 1.2.4