Better handling of web_exec()