elevator,scheduler: Properly handle when other elevator reaches floor.

(Which was required by outside button.)