export webot.end() ensurement to public api