imp!:web: deprecate and hide the --server flag, recommend --serve

This commit is contained in:
Simon Michael 2025-03-08 11:56:20 -10:00
parent a0afda4a2b
commit 2f0cb50997

View File

@ -54,7 +54,7 @@ prognameandversion =
webflags :: [Flag RawOpts] webflags :: [Flag RawOpts]
webflags = webflags =
[ flagNone [ flagNone
["serve", "server"] ["serve"]
(setboolopt "serve") (setboolopt "serve")
"serve and log requests, don't browse or auto-exit" "serve and log requests, don't browse or auto-exit"
, flagNone , flagNone
@ -115,6 +115,8 @@ webmode =
Group Group
{ groupUnnamed = webflags { groupUnnamed = webflags
, groupHidden = hiddenflags , groupHidden = hiddenflags
++
[flagNone ["server"] (setboolopt "serve") "old flag, use --serve instead"
, groupNamed = mkgeneralflagsgroups1 helpflags , groupNamed = mkgeneralflagsgroups1 helpflags
} }
, modeHelpSuffix = [] , modeHelpSuffix = []