diff options
| author | Johann Latocha | 2010-08-30 17:21:30 +0200 |
|---|---|---|
| committer | Johann Latocha | 2010-08-30 17:21:30 +0200 |
| commit | c1d871390c75e46bf2cbc71b38796b5c33e67c77 (patch) | |
| tree | ed76b5490fe8357b810803c095a00e99a4f171ec /misc | |
| parent | PVS output errors fixed (diff) | |
| download | pvs-c1d871390c75e46bf2cbc71b38796b5c33e67c77.tar.gz pvs-c1d871390c75e46bf2cbc71b38796b5c33e67c77.tar.xz pvs-c1d871390c75e46bf2cbc71b38796b5c33e67c77.zip | |
Defect #644 and cleanout some old code
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/pvs.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/misc/pvs.conf b/misc/pvs.conf index f91a63c..93c4ac5 100644 --- a/misc/pvs.conf +++ b/misc/pvs.conf @@ -1,3 +1,6 @@ +[VNC] +script=/usr/local/bin/pvs-vncsrv + [Permissions] vnc_lecturer=ro vnc_other=no |