##// END OF EJS Templates
Do not force a reload of user config by default....
Do not force a reload of user config by default. Forcing this kind of reload can cause side effects. Also added some notes for future fixing, the way configs are being loaded is a mess right now. Though most of this will get cleaned up in the refactoring anyway.

File last commit:

r1852:37edbe78
r1967:8e7f0d52
Show More
platutils_posix.py
32 lines | 945 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
""" Platform specific utility functions, posix version
Importing this module directly is not portable - rather, import platutils
to use these functions in platform agnostic fashion.
"""
#*****************************************************************************
# Copyright (C) 2001-2006 Fernando Perez <fperez@colorado.edu>
#
# Distributed under the terms of the BSD License. The full license is in
# the file COPYING, distributed as part of this software.
#*****************************************************************************
import sys
import os
ignore_termtitle = True
def _dummy_op(*a, **b):
""" A no-op function """
def _set_term_title_xterm(title):
""" Change virtual terminal title in xterm-workalikes """
sys.stdout.write('\033]0;%s\007' % title)
if os.environ.get('TERM','') == 'xterm':
set_term_title = _set_term_title_xterm
else:
set_term_title = _dummy_op