Dev server: survive rapid-save rebuild races and explain missing plugin state#14

shivamsn97 merged 1 commit into

mainpyxle-dev/pyxle:mainfrom

fix/devserver-robustnesspyxle-dev/pyxle:fix/devserver-robustnessCopy head branch name to clipboard