##// END OF EJS Templates
pullrequest: just replace children of other_ref when other_repo changes...
pullrequest: just replace children of other_ref when other_repo changes We were inserting a full select statement as innerHTML of a select and would thus get nested select statements. IE did not render that correctly ... and other browsers did strange things. Instead we now create a in memory DOM object and move the optgroups. After appending children to the selector we have to set selectedIndex on all browsers.

File last commit:

r2673:d5e42c00 beta
r3512:ff3f10a6 beta
Show More
utils.py
19 lines | 459 B | text/x-python | PythonLexer
Use local_hostname in mailer
r2495 """
Email message and email sending related helper functions.
"""
import socket
# Cache the hostname, but do it lazily: socket.getfqdn() can take a couple of
# seconds, which slows down the restart of the server.
class CachedDnsName(object):
def __str__(self):
return self.get_fqdn()
def get_fqdn(self):
if not hasattr(self, '_fqdn'):
self._fqdn = socket.getfqdn()
return self._fqdn
white space cleanup
r2673 DNS_NAME = CachedDnsName()