Hi, On 6 February 2018 at 15:56, Andreas Tille <andr...@fam-tille.de> wrote:
> Would you mind pushing your patch directly? I do not see any advantage > if I would proxy your patch. ;-) Done. > I admit up to know I have not checked this file but probably having > these will help. Then I believe it worth a try and will help. Flask is required by that *-dev.txt file, and the default listening port of flask is exactly 5000. I have to sleep now. :-) Have a good day. -- Best,