diff options
author | deva <deva> | 2009-05-11 11:57:50 +0000 |
---|---|---|
committer | deva <deva> | 2009-05-11 11:57:50 +0000 |
commit | 1435d2c664f1c7696cbde2b41df6362f99d1df2c (patch) | |
tree | 302e686f55fc59ae28229df9c705c49d5c8a4dd8 /server/src/journal_commit.h | |
parent | 9b5c88df87d285995fd0c483de369cd7854893b1 (diff) |
New 'header' in each journal commit, taken from the course.
Diffstat (limited to 'server/src/journal_commit.h')
-rw-r--r-- | server/src/journal_commit.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/src/journal_commit.h b/server/src/journal_commit.h index 387eab6..0f8ae57 100644 --- a/server/src/journal_commit.h +++ b/server/src/journal_commit.h @@ -42,7 +42,7 @@ class JournalWriter { public: JournalWriter(std::string host, unsigned short int port); - void addEntry(Transaction &transaction, Commit &commit, std::string resume); + void addEntry(Transaction &transaction, Commit &commit, std::string resume, std::string course_resume); void commit(); |