webodf update: smarted shutdown api for Editor and friends
use smarter shutdown API