10 """

    10 """

    11 

    11 

    12 import os

    12 import os

    13 import re

    13 import re

    14 import time

    14 import time

    15 

    16 

    16 unknown_version = 'unknown'

    17 unknown_version = 'unknown'

    17 remembered_version = False

    18 remembered_version = False

    18 

    19 

    19 def get_version(doreload=False):

    20 def get_version(doreload=False):

    46 

    47 

    47 def remember_version(version=None):

    48 def remember_version(version=None):

    48     """Store version information."""

    49     """Store version information."""

    49     global remembered_version

    50     global remembered_version

    50     if not version and os.path.isdir(".hg"):

    51     if not version and os.path.isdir(".hg"):

    52         ident = f.read()[:-1]

    53         ident = f.read()[:-1]

    53         if not f.close() and ident:

    54         if not f.close() and ident:

    54             ids = ident.split(' ', 1)

    55             ids = ident.split(' ', 1)

    55             version = ids.pop(0)

    56             version = ids.pop(0)

    56             if version[-1] == '+':

    57             if version[-1] == '+':