workspace/ws_alloc_option.patch
2020-07-14 15:25:44 +02:00

18 lines
685 B
Diff

--- src/ws_allocate.cpp.orig 2020-06-17 21:07:08.000000000 +0200
+++ src/ws_allocate.cpp 2020-07-14 14:52:26.821618741 +0200
@@ -169,13 +169,13 @@
cerr << "Info: reminder email will be sent to local user account" << endl;
}
}
- } /* else {
+ } else {
// check if mail address was set with -m but not -r
if(opt.count("mailaddress")) {
cerr << "Error: You can't use the mailaddress (-m) without the reminder (-r) option." << endl;
exit(1);
}
- } */
+ }
// validate workspace name against nasty characters
static const boost::regex e("^[a-zA-Z0-9][a-zA-Z0-9_.-]*$");