diff options
| author | Patrick Simianer <p@simianer.de> | 2014-06-12 13:56:42 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-06-12 13:56:42 +0200 |
| commit | 244971287003d079e46193b8a209c28955f90134 (patch) | |
| tree | 8beaae6b12b913acb213fc7f2415fd63886192f9 /realtime/rt/util.py | |
| parent | 5250fd67a4b8f242068cff87f0a6a4211f8b0fcf (diff) | |
| parent | b66e838ed52decc0be1eb5817b2a77c3840db2c5 (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'realtime/rt/util.py')
| -rw-r--r-- | realtime/rt/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/realtime/rt/util.py b/realtime/rt/util.py index a7333bbd..8cd41a1e 100644 --- a/realtime/rt/util.py +++ b/realtime/rt/util.py @@ -10,6 +10,7 @@ SA_INI_FILES = set(( 'a_file', 'lex_file', 'precompute_file', + 'bilex_file', )) class FIFOLock: |