| commit | cb99be55d818a73be7dea51a2de4c5c16d0439a9 | [log] [tgz] |
|---|---|---|
| author | Pierre Ossman <ossman@cendio.se> | Tue May 29 16:37:54 2018 +0200 |
| committer | Pierre Ossman <ossman@cendio.se> | Tue May 29 16:37:54 2018 +0200 |
| tree | 0ce33c6c684eac4010a973019f48960a5873110b | |
| parent | c6884e07313cbb62fdfc41050368a64db7017682 [diff] |
Don't require server name in config file The user might just want to load a bunch of settings and not initiate a connection.