···

       
75
       
 
       
            description = "Address on which the Node.js server should listen";

     

       
76
       
 
       
          };

     

       
77
       
 
       
          httpPort = mkOption {

     

       
78
       
-
       
            type = types.int;

     

       
79
       
 
       
            default = 3000;

     

       
80
       
 
       
            description = "Port on which the Node.js server should listen";

     

       
81
       
 
       
          };

     

       
82
       
 
       
          websocketPort = mkOption {

     

       
83
       
-
       
            type = types.int;

     

       
84
       
 
       
            default = 3003;

     

       
85
       
 
       
            description = "Port for the websocket that needs to be separate";

     

       
86
       
 
       
          };

     

···

       
75
       
 
       
            description = "Address on which the Node.js server should listen";

     

       
76
       
 
       
          };

     

       
77
       
 
       
          httpPort = mkOption {

     

       
78
       
+
       
            type = types.port;

     

       
79
       
 
       
            default = 3000;

     

       
80
       
 
       
            description = "Port on which the Node.js server should listen";

     

       
81
       
 
       
          };

     

       
82
       
 
       
          websocketPort = mkOption {

     

       
83
       
+
       
            type = types.port;

     

       
84
       
 
       
            default = 3003;

     

       
85
       
 
       
            description = "Port for the websocket that needs to be separate";

     

       
86
       
 
       
          };