网上所有地方都告诉你的错误配置:
server:
port: ${random.int[6008,6009]}
这才是正确配置:
server:
port: ${random.int(6008,6009)}
如果能解决你的问题请记得点赞!让更多人知道!
网上所有地方都告诉你的错误配置:
server:
port: ${random.int[6008,6009]}
这才是正确配置:
server:
port: ${random.int(6008,6009)}
如果能解决你的问题请记得点赞!让更多人知道!