46
46
log.info('Starting REST server')
48
53
make_server().serve_forever()
49
54
except KeyboardInterrupt:
50
55
log.info('REST server interrupted')
52
57
except select.error as (errcode, message):
53
58
if errcode == errno.EINTR:
54
59
log.info('REST server exiting')