Merge branch 'PDP' of https://github.com/renoust/TulipPosy into PDP
quick fix for the shell to manage servers in path containing spaces