blob: 9d68bdb80c7a333d41554d248324f75fff7ca128 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
--- fbdesk-1.4.1/src/main.cc 2016-01-05 21:10:06.407153813 +0100
+++ fbdesk-1.4.1/src/main.cc 2016-01-05 21:10:43.557175529 +0100
@@ -70,12 +70,12 @@
// determine arguments
for (int i=1; i<argc; ++i) {
if (strcmp("-display", argv[i]) == 0 && // display connection
- i + 1 < argc) {
+ i + 1 <= argc) {
displaystr = argv[++i];
} else if (strcmp("-rc", argv[i]) == 0 && // resource file
- i + 1 < argc) {
+ i + 1 <= argc) {
resource_filename = argv[++i];
- } if (strcmp("-v", argv[i]) == 0) {
+ } else if (strcmp("-v", argv[i]) == 0) {
cout<<"FbDesk "<<FBDESK_VERSION<<" Copyright (c) 2003-2006 Henrik Kinnunen"<<endl;
exit(0);
} else {
|
