http api: add exit()