equal
deleted
inserted
replaced
9 This contains helper routines that are independent of the SCM core and hide |
9 This contains helper routines that are independent of the SCM core and hide |
10 platform-specific details from the core. |
10 platform-specific details from the core. |
11 """ |
11 """ |
12 |
12 |
13 import os, errno |
13 import os, errno |
|
14 from i18n import gettext as _ |
14 from demandload import * |
15 from demandload import * |
15 demandload(globals(), "re cStringIO shutil popen2 tempfile threading time") |
16 demandload(globals(), "re cStringIO shutil popen2 tempfile threading time") |
16 |
17 |
17 def pipefilter(s, cmd): |
18 def pipefilter(s, cmd): |
18 '''filter string S through command CMD, returning its output''' |
19 '''filter string S through command CMD, returning its output''' |