Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Configure custom OMERO.server port #48

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

lucalianas
Copy link

It would be useful to configure a custom OMERO.server port as you do with the OMERO.server host.

I implemented it in ome_seadragon docker image (crs4/ome_seadragon-docker@9fb2829) but I think it would be more appropriate to integrate this change into the "main" omero-web Docker image.

I needed this because I have multiple OMERO.servers running on the same Docker host and each one of them exposes ports that are different from the standard ones.

@manics
Copy link
Member

manics commented Jan 20, 2020

This sounds like a good idea. However we recently added websockets to the supported protocols, and in future we might try and unify the host strings. Instead of adding a new variable would you mind making it an optional component of OMEROHOST?

  • OMEROHOST=omero.example.org
  • OMEROHOST=omero.example.org:12345
    It should be doable in bash, but you can also switch to Python, e.g. see:
    rc = call([OMERO, 'config', 'set', '--', prop, value])

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants