diff options
| author | Manuel Schneider | 2014-05-28 17:27:04 +0200 |
|---|---|---|
| committer | Manuel Schneider | 2014-05-28 17:27:04 +0200 |
| commit | 6b3a98ee512299fffe3b0c6cf12a43bcf37318a3 (patch) | |
| tree | ffb27fe88b4dafa5175edea3ed9bc360f1d9a5a2 /src/shared | |
| parent | Try to reconnect if the pvsmgr gets disconnected (diff) | |
| download | pvs2-6b3a98ee512299fffe3b0c6cf12a43bcf37318a3.tar.gz pvs2-6b3a98ee512299fffe3b0c6cf12a43bcf37318a3.tar.xz pvs2-6b3a98ee512299fffe3b0c6cf12a43bcf37318a3.zip | |
Give Exclusive student to tutor correct funtion. Kill all projections on lock.
Diffstat (limited to 'src/shared')
0 files changed, 0 insertions, 0 deletions