##// END OF EJS Templates
Track and report compilation time if significant....
Track and report compilation time if significant. After a SAGE bug report: http://trac.sagemath.org/sage_trac/ticket/632.

File last commit:

r706:67aea54e
r874:56019d78
Show More
platutils_win32.py
53 lines | 1.5 KiB | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
""" Platform specific utility functions, win32 version
Importing this module directly is not portable - rather, import platutils
to use these functions in platform agnostic fashion.
$Id: ipstruct.py 1005 2006-01-12 08:39:26Z fperez $
"""
#*****************************************************************************
# 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.
#*****************************************************************************
from IPython import Release
__author__ = '%s <%s>' % Release.authors['Ville']
__license__ = Release.license
import os
ignore_termtitle = 0
try:
from ctypes import windll
SetConsoleTitleA=windll.kernel32.SetConsoleTitleA
def _set_term_title(title):
""" Set terminal title using the ctypes"""
SetConsoleTitleA(str(title))
except ImportError:
def _set_term_title(title):
""" Set terminal title using the 'title' command """
curr=os.getcwd()
os.chdir("C:") #Cannot be on network share when issuing system commands
ret = os.system("title " + title)
os.chdir(curr)
if ret:
ignore_termtitle = 1
def set_term_title(title):
""" Set terminal title using the 'title' command """
global ignore_termtitle
if ignore_termtitle:
return
_set_term_title(title)