diff options
Diffstat (limited to 'vmchooser/userSession.cxx')
| -rw-r--r-- | vmchooser/userSession.cxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/vmchooser/userSession.cxx b/vmchooser/userSession.cxx index af11d4b..9f0edaa 100644 --- a/vmchooser/userSession.cxx +++ b/vmchooser/userSession.cxx @@ -59,6 +59,10 @@ char* readSession() { // read presaved session with ifstream ifstream fin(fname.c_str()); + if (!fin) { + cout << ".vmchooser file not found .. continue with global default" << endl; + return NULL; + } string sessname; getline(fin,sessname); char* blub = (char*) malloc(sessname.size()); |