Skip to content

Conversation

@PEZ
Copy link

@PEZ PEZ commented Oct 15, 2019

Fixes #86

Not at all sure you want this info here. 😄

If the info is appropriate, then maybe also inform about which port it starts listening to. (Something I think should be showing in the ”Server running” message.)

Fixes comnik#86 

Not at all sure you want this info here. 😄

If the info is appropriate, then maybe also inform about which port it starts listening to. (Something I think should be showing in the ”Server running” message.)
@comnik
Copy link
Owner

comnik commented Nov 1, 2019

Thank you for this, and sorry for the latency. I'm gearing up for a new release, and improving documentation is a goal for that. I'll leave this unmerged for now, until the technical parts are done.

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.

How do you run the server?

2 participants