-
- document.getElementById(innerdivname).innerHTML =
- "Are we logged in? " + logged_in + "<br>"
- + "Last seen: " + last_seen + "<br>"
- + "Number of messages: " + msgs.length + "<br>"
- + "min_msg=" + min_msg + "<br>"
- + "max_msg=" + max_msg + "<br>" ;
-
- if (msgs.length == 0)
- {
- document.getElementById(innerdivname).innerHTML += "FIXME no msgs" ;
- }