Revision - 8e33b9a - Bug fix: ensure a new session ID is assigned every time a [...]

Revision 8e33b9a07d955d98445a6af75c17edd952501d69 authored by Ulrich Germann on 03 August 2015, 09:24:01 UTC, committed by Ulrich Germann on 03 August 2015, 09:24:01 UTC

Bug fix: ensure a new session ID is assigned every time a session isn't found.

1 parent 44df19a

Files
Changes

Permalinks

File	Mode	Size
MosesGUI
Makefile	-rw-r--r--	9.4 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...