rem: if (doDisable) enablePipelining.checked = false; 
context: function checkPipelining(){  try {    var enableHTTP11 = document.getElementById("httpVersion11");    var enableKeepAlive = document.getElementById("enableKeepAlive");    var enablePipelining = document.getElementById("enablePipelining");    var doDisable = !(enableHTTP11.selected && enableKeepAlive.checked);    enablePipelining.disabled = doDisable;    if (doDisable)      enablePipelining.checked = false;  } catch(e) {}}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/572254b53c016efa6cd842c80807d92ec8debb97/pref-http.js/clean/suite/common/pref/pref-http.js