Added code to read config file of IP address, and use these for the mostly fair distr...

[IRC.git] / Robust / src / Runtime / DSTM / interface / dstm.h

diff --git a/Robust/src/Runtime/DSTM/interface/dstm.h b/Robust/src/Runtime/DSTM/interface/dstm.h
index ffa3036186ba0c4ddefa9bb08d477b523d5daf0b..59de24855e1229e482dd433caefffe418f16af08 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/dstm.h
+++ b/Robust/src/Runtime/DSTM/interface/dstm.h
@@ -206,6 +206,8 @@ int transCommitProcess(void *, unsigned int *, unsigned int *, int, int, int);
 
 int dstmStartup(const char *);
 void transInit();
+int processConfigFile();
+void addHost(unsigned int);
 
 void randomdelay(void);
 transrecord_t *transStart();