“deployer” 是 Tomcat 中的保留用户名吗？

Question

我刚刚发现 Apache Tomcat 存在一个奇怪的情况。

当我尝试通过 maven 将我的 web 应用程序部署到 tomcat 时，我发现 usernamedeployer不起作用，但 usernamedeploy起作用。

用户名deployer是保留的还是别的？

<role rolename="manager-jmx"/>
<role rolename="manager-script"/>

<!-- doesn't work -->
<user username="deployer" password="some" roles="manager-jmx,manager-script"/>

<!-- works -->
<user username="deploy" password="some" roles="manager-jmx,manager-script"/>