add method jedi:restart-server