def shut_down_selenium_server(self):
"""Stop the previously started selenium-server and clean up any
temporary files that were created."""
try: SeleniumLibrary.shut_down_selenium_server(self)
# error only is thrown when log file was not created,
# this only happens when a previous sele-server was
# running that we didn't start
except AttributeError: warn("stopped selenium server that we didn't start")
else: self._user_ext_file.close()
