1.1 --- a/tests/start_indexer.py Tue Sep 27 18:04:03 2005 +0000
1.2 +++ b/tests/start_indexer.py Tue Sep 27 18:05:09 2005 +0000
1.3 @@ -27,17 +27,33 @@
1.4 entry = channel.receive()
1.5 master_index.add_entry(entry)
1.6
1.7 + # Tidy up as we go.
1.8 +
1.9 + for channel in channels:
1.10 + channel.close()
1.11 +
1.12 # Provide a search interface.
1.13
1.14 return Searcher(master_index.get_index())
1.15
1.16 if __name__ == "__main__":
1.17 import sys, os
1.18 +
1.19 + # Get the parameters.
1.20 +
1.21 window_size, directory = int(sys.argv[1]), sys.argv[2]
1.22 +
1.23 + # Build a list of filenames.
1.24 +
1.25 filenames = [os.path.join(directory, filename) for filename in os.listdir(directory)]
1.26 filenames = [filename for filename in filenames if os.path.isfile(filename)]
1.27
1.28 + # Get a searcher using an index built in parallel.
1.29 +
1.30 searcher = get_searcher(filenames, window_size)
1.31 +
1.32 + # Present a user interface.
1.33 +
1.34 while 1:
1.35 print "Pattern:",
1.36 pattern = raw_input()