File

.busted @ 13251:7748dfb201de

core.portmanager: Hint at HTTP servers for conflicts over port 443 Since 443 is just as much a web port as port 80 these days, if not more. What's with port 81 here?
author Kim Alvefur <zash@zash.se>
date Sat, 29 Jul 2023 02:00:55 +0200
parent 9964:f299d4917dd8
line wrap: on
line source

return {
  _all = {
  },
  default = {
    ["exclude-tags"] = "mod_bosh,storage,SLOW";
  };
  bosh = {
    tags = "mod_bosh";
  };
  storage = {
    tags = "storage";
  };
}