Java 如何使用spring boot应用程序更改嵌入式tomcat连接器端口

我们可以通过编写

server.port=8080

---

但如何更改连接器端口？如果我无法更改连接器端口，那么在spring boot中是否有其他方法可以执行此操作？

我假设此选项应该可以通过TomcatEmbeddedServletContainerFactory获得（它提供了许多用于直接自定义ConfigurableMbeddedServletContainer的选项），具体如下：

@Bean
public EmbeddedServletContainerFactory servletContainer() {
    TomcatEmbeddedServletContainerFactory factory = new TomcatEmbeddedServletContainerFactory();

    // ! assume this should be possible using this factory
    factory.setPort(9000);
    factory.setSessionTimeout(10, TimeUnit.MINUTES);

    return factory;
}