This commit is contained in:
Denis Manherz 2023-11-27 14:37:04 +01:00
parent 9ff54ac634
commit 0e22c503ac

View file

@ -51,11 +51,11 @@ in
]); ]);
in attrsOf (either atom (listOf atom)); in attrsOf (either atom (listOf atom));
options = { options = {
listen = mkOption { #listen = mkOption {
description = "Launch gradio with 0.0.0.0 as server name, allowing to respond to network requests."; # description = "Launch gradio with 0.0.0.0 as server name, allowing to respond to network requests.";
default = false; # default = false;
type = types.bool; # type = types.bool;
}; #};
port = mkOption { port = mkOption {
description = "Launch gradio with given server port, you need root/admin rights for ports < 1024; defaults to 7860 if available."; description = "Launch gradio with given server port, you need root/admin rights for ports < 1024; defaults to 7860 if available.";