diff options
Diffstat (limited to 'common.py')
-rw-r--r-- | common.py | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -193,3 +193,20 @@ def is_device(dev): | |||
193 | return False | 193 | return False |
194 | mode = os.stat(dev)[stat.ST_MODE] | 194 | mode = os.stat(dev)[stat.ST_MODE] |
195 | return not (not mode & stat.S_IFCHR) | 195 | return not (not mode & stat.S_IFCHR) |
196 | |||
197 | __logged = [] | ||
198 | |||
199 | def set_logged_list(logged): | ||
200 | global __logged | ||
201 | __logged = logged | ||
202 | |||
203 | def log_once(id, msg = None, indent = True): | ||
204 | global __logged | ||
205 | |||
206 | msg = msg if msg else id | ||
207 | |||
208 | if id not in __logged: | ||
209 | __logged += [id] | ||
210 | if indent: | ||
211 | msg = ' ' + msg.strip('\t').replace('\n', '\n\t') | ||
212 | sys.stderr.write('\n' + msg.strip('\n') + '\n') | ||