···

       
71
       
71
       
 
       


     

       
72
       
72
       
 
       
          rtc_config = {

     

       
73
       
73
       
 
       
            port_range_start = lib.mkOption {

     

       
74
       
74
       
-
       
              type = lib.types.int;

     

       
74
       
74
       
+
       
              type = lib.types.port;

     

       
75
       
75
       
 
       
              default = 50000;

     

       
76
       
76
       
 
       
              description = "Start of UDP port range for WebRTC";

     

       
77
       
77
       
 
       
            };

     

       
78
       
78
       
 
       


     

       
79
       
79
       
 
       
            port_range_end = lib.mkOption {

     

       
80
       
80
       
-
       
              type = lib.types.int;

     

       
80
       
80
       
+
       
              type = lib.types.port;

     

       
81
       
81
       
 
       
              default = 51000;

     

       
82
       
82
       
 
       
              description = "End of UDP port range for WebRTC";

     

       
83
       
83
       
 
       
            };