##// END OF EJS Templates
remove pagemain.js...
remove pagemain.js It does not seem to be usefull anymore. The different main.js of /tree /notebook /etc do create an instance of `page` themselves, error pages do have hardcoded styles that show header and sites.

File last commit:

r17056:d21ad35d
r17276:b2f35a66
Show More
log.py
25 lines | 643 B | text/x-python | PythonLexer
"""Grab the global logger instance."""
# Copyright (c) IPython Development Team.
# Distributed under the terms of the Modified BSD License.
import logging
_logger = None
def get_logger():
"""Grab the global logger instance.
If a global IPython Application is instantiated, grab its logger.
Otherwise, grab the root logger.
"""
global _logger
if _logger is None:
from IPython.config import Application
if Application.initialized():
_logger = Application.instance().log
else:
logging.basicConfig()
_logger = logging.getLogger()
return _logger