Update jedi_manager.lua