Better select.value detection

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 680c16bdbfd8ad581c2197c6929c71f197b2e809..dc9867111474dd65e9c5ab2bdc7502925414fc41 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -36,7 +36,8 @@ function verifyVersion() {
 * @return string
 */
 function selectValue(select) {
-       return (select.value !== undefined ? select.value : select.options[select.selectedIndex].text);
+       var selected = select.options[select.selectedIndex];
+       return ((selected.attributes.value || {}).specified ? selected.value : selected.text);
 }
 
 /** Check all elements matching given name