-
Notifications
You must be signed in to change notification settings - Fork 1
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
proper server? #3
Comments
Caddy looks great - i've not used it, but the docs make it all look very straighfoward. so yes, that would be great. http doesn't matter at all anymore, it's fine that all is https. |
Okay, cool, but are you planning on using a domain name or just using the server IP? |
Server IP is fine, and it's not planned to be a general public endpoint, rather only one for |
Okay, IP it is. I think nginx would make sense in that case |
One maybe important issue here, reflective of my ignorance in these domains: The server has to be set up to deliver a response semi-immediately, and then trigger a background process which later dumps results via system call to the GitHub cli. So whatever system is used has to be able to also launch a background process, and ideally have an ability to monitor that (in order to access the second log endpoint, which reads sys output from the background process). |
You're talking about all routes here? Or primarily
What do you mean by the GitHub cli? I see you're using Maybe (in addition to using repo url in # a call to /editorcheck?... returns something like
{
"message": "Editor check started",
"id": 234238923
}
# where id is perhaps the output of `$get_pid()` which uniquely identifies the background R session Then use the identifier to check on progress |
No disregarding - that is indeed a great idea. I'd just been concentrating on getting the logs working, and hadn't given enough thought to the actual endpoint design. It shall be done! (And the Github cli is just that: cli.github.com, the advent of which means I've effectively stopped using |
One thing that would help if you could @sckott would be to provide some links to vaguely equivalent set ups with "proper servers" that we could use as templates. You said you had some local work, the provision of which would be great, but even better for posterity purposes would be any public links you might be able to provide. Anything you could offer in that regard here? |
Ah cool, i use
Yes, I'll have a think and share some links |
The "proper server" question here was really just about something like nginx or caddy "in front of" the plumber service (see nginx point below), but I'll try to answer more broadly about other issues on the machine itself. The only other stuff I had local was some docker-compose stuff I was playing with for nginx, but like I said below, gave up on that.
|
The queing stuff was mostly due to #7. Since that was resolved almost a year ago, no processes have hung or frozen, including simulataneous processes. The only issue which i think really needs to be resolved to address this is authenication, which is actually pretty straighforward and described in the nginx docs. Passwords for actual users are easy to configure; the bot less so. If heroku has a static IP address (@maelle?), then we could allow that address, but require all others to submit a password, and combine the two methods with |
The only server I'm familiar with is Caddy, which is really easy to use if you have a domain name and it does Letsencrypt TLS certs for you. However, since there's no domain name, I couldn't figure out how to just use http easily
Anyway, I have some local work with docker compose and caddy if you want to see that
@mpadge
The text was updated successfully, but these errors were encountered: