Make the name of the config file a configurable parameter.
authorSapan Bhatia <sapanb@cs.princeton.edu>
Tue, 24 Mar 2009 01:22:31 +0000 (01:22 +0000)
committerSapan Bhatia <sapanb@cs.princeton.edu>
Tue, 24 Mar 2009 01:22:31 +0000 (01:22 +0000)
commit311b8f17a524533e8d07cfda3aff8de75ff1e25d
tree2afa10c51674040d9f2700366ac7c2570416d226
parente56b5ef0bbec1c22df1f8f82d4e75ec1785fc2ea
Make the name of the config file a configurable parameter.
backend.ml
fdwatcher.ml
fifowatcher.ml
globals.ml
main.ml