From d5821bf094e43c67d4dda91031035d6c16cbfef9 Mon Sep 17 00:00:00 2001 From: Fengping Hu <fengping@uchicago.edu> Date: Wed, 13 Nov 2024 12:34:55 -0600 Subject: [PATCH] add default any option --- binderhub/templates/index.html | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/binderhub/templates/index.html b/binderhub/templates/index.html index 342dc69c2..bbf044b27 100644 --- a/binderhub/templates/index.html +++ b/binderhub/templates/index.html @@ -373,7 +373,7 @@ <h4 id="form-header" class='row'>Build and launch a repository</h4> <div class="form-group col-md-2"> <!label for="qos">CPUs</label> <div class="input-group"> - <input type="number" class="form-control" name="cpu" id="cpu" min=1 max=16 value=1 disabled> + <input type="number" class="form-control" name="cpu" id="cpu" min=1 max=32 value=1 disabled> </div> </div> <div class="form-group col-md-2"> @@ -546,6 +546,13 @@ <h3 class="text-center">How it works</h3> option.text = gpus[i]["product"] + "(" +gpus[i]["available"].toString()+"/"+ gpus[i]["count"].toString() + ")"; gpuSelect.add(option); } + if (gpuSelect.options.length > 0){ + var option = document.createElement("option"); + option.value = "" + option.text = "Any" + gpuSelect.add(option,gpuSelect.options[0]); + gpuSelect.selectedIndex=0 + } } function changeSite(site) {