Report question

Question: PyDev and Django: how to restart dev server?