diff options
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 |