diff options
author | Manuel Schneider | 2014-07-23 14:32:45 +0200 |
---|---|---|
committer | Manuel Schneider | 2014-07-23 14:32:45 +0200 |
commit | a63e8432881b58f0dcfb47a39efc3305335e5c15 (patch) | |
tree | 216b5fe272a99b34d5d3ddd3f0418e0c45ba4c5f /TODO | |
parent | Again fix oneclick-source-change-lock-bug. Note to myself: Never ever violate... (diff) | |
download | pvs2-a63e8432881b58f0dcfb47a39efc3305335e5c15.tar.gz pvs2-a63e8432881b58f0dcfb47a39efc3305335e5c15.tar.xz pvs2-a63e8432881b58f0dcfb47a39efc3305335e5c15.zip |
Clean up students broadcast
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -70,11 +70,19 @@ und zur> Session-ID-Einstellung. wenn PVS-Client auf Rechner online ist. Rechnersymbol soll schwarz werden. <sofern der Papierkorb bleiben soll. Ggfs ist die Funktion nicht nötig?> ---------------------------- V M C H O O S E R ---------------------------------- +--------------------------- V M C H O O S E R ---------------------------------- -[manuel bald, bald ... ] +[manuel] Im VMchooser (Client): -- Häkchen gesetzt, automatische Verbindung (Session-ID) -- wenn kein Häkchen gesetzt, soll dennoch manuelle Verbindung <per Session-ID> wählbar sein. <das heisst, der PVS soll in jedem Fall automatisch starten, ohne die Verbindung automatisch zu setzen> +[x] Start pvs in any case +[x] Adjust vmchooser2 to not set env + +-------------------------------------------------------------------------------- + +[ ] Test +[ ] Tests +[ ] TESTS |