fix dev server crash when runned locally using make run-local#871

vishwa-radhya wants to merge 1 commit intoronreiter:masterronreiter/interactive-tutorials:masterfrom

vishwa-radhya:fix-dev-server-crashvishwa-radhya/interactive-tutorials:fix-dev-server-crashCopy head branch name to clipboard