Fixing bug on topological navigation server preemption