В составе serverBuilder из GRP C есть несколько вариантов, которые использует Armeria Server Builder. Один из них - channelOption и childChannelOption , который принимает ChannelOption.SO_KEEPALIVE и логическое значение. Несмотря на то, что я устанавливаю эти параметры, я получаю сообщение: Неизвестная опция канала 'SO_KEEPALIVE' для канала '[id: xxxxx]' Может кто-нибудь подсказать, как это можно сделать как часть armeria serverbuilder?
Это делается следующим образом:
Server server = Server.builder() .childChannelOption(ChannelOption.SO_KEEPALIVE, true) ... .build();
Я подтвердил, что Unknown channel option 'SO_KEEPALIVE' ошибка не возникает.
Unknown channel option 'SO_KEEPALIVE'