Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove "default_host" profile #2950
Brief overview of PR changes/additions
Remove "default_host" profile.
Motivation for adding to Mudlet
200ms faster startup because of no extra host getting made + 10ms saved from creating the debug area only when you need it, less messy code workarounds to ignore the "default_host" and no messages like this in stdout which don't mean anything:
Other info (issues closed, discussion etc)
Opening IRC is now not possible until at least one profile open - but I don't think anyone seriously uses Mudlet as an IRC-only client. We previously kept this functionality was the only way to get help, but with Discord, this isn't needed.
Hey there! Thanks for helping Mudlet improve.
You can directly test the changes here:
No need to install anything - just unzip and run.