Skip to content

Make Puma the default server#1924

Merged
dentarg merged 3 commits intosinatra:mainfrom
dentarg:servers
May 15, 2023
Merged

Make Puma the default server#1924
dentarg merged 3 commits intosinatra:mainfrom
dentarg:servers

Conversation

@dentarg
Copy link
Copy Markdown
Member

@dentarg dentarg commented May 15, 2023

Close #1883

Copy link
Copy Markdown
Member

@jkowens jkowens left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good 👍

@dentarg dentarg merged commit 09476ba into sinatra:main May 15, 2023
@dentarg dentarg deleted the servers branch May 15, 2023 13:18
@dentarg dentarg mentioned this pull request Jul 11, 2023
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.

Puma is not used as the default server if thin is available

2 participants