summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-01-26 15:11:56 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2019-01-26 15:11:56 -0500
commit28ab84cb7b09e23aa0ed014bf2ed1fda56fcefc1 (patch)
tree21050a008737ae0e8c096b3897c753310bec465a /lib/js
parent15105e3e62d595fe620d019a7ef9aeeb0197d24d (diff)
Stop complaining when a nonexistent option is chosen for cselect
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js3
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 357e4c1c..1c296fe1 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -2271,9 +2271,6 @@ function setSelectValue(x, v) {
return;
}
}
-
- if (v != "")
- er("Setting <select> to nonexistent value: " + v);
}
function sel(s, content) {