Hello, is there a way to specify a port number when starting REST Server? Thank you. Anatoly -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://plato.cgl.ucsf.edu/pipermail/chimera-users/attachments/20161118/85f57a25/attachment.html>