useful to Restart django dev server, if it crashes very frequently