allow changing the dns server port

2022-03-02 18:54:08 -08:00
parent 64d6b69a8b
commit 4b468b0a3d
6 changed files with 22 additions and 19 deletions
@@ -59,7 +59,8 @@ LicenseManager::LicenseManager(const string& filename) : filename(filename) {
    }

  } catch (const cannot_open_file&) {
-    log(WARNING, "%s does not exist; no licenses are registered", this->filename.c_str());
+    log(WARNING, "File %s does not exist; no licenses are registered",
+        this->filename.c_str());
  }
 }