... | ... |
@@ -869,9 +869,11 @@ |
869 | 869 |
char c; |
870 | 870 |
while (readSuccess() && line >> c && c != '@') { |
871 | 871 |
readLine(); |
872 | 872 |
} |
873 |
|
|
873 |
if (readSuccess()) { |
|
874 |
line.putback(c); |
|
875 |
} |
|
874 | 876 |
} |
875 | 877 |
|
876 | 878 |
void readNodes() { |
877 | 879 |
|
... | ... |
@@ -1698,9 +1700,11 @@ |
1698 | 1700 |
char c; |
1699 | 1701 |
while (readSuccess() && line >> c && c != '@') { |
1700 | 1702 |
readLine(); |
1701 | 1703 |
} |
1702 |
|
|
1704 |
if (readSuccess()) { |
|
1705 |
line.putback(c); |
|
1706 |
} |
|
1703 | 1707 |
} |
1704 | 1708 |
|
1705 | 1709 |
void readNodes() { |
1706 | 1710 |
|
... | ... |
@@ -2225,9 +2229,11 @@ |
2225 | 2229 |
char c; |
2226 | 2230 |
while (readSuccess() && line >> c && c != '@') { |
2227 | 2231 |
readLine(); |
2228 | 2232 |
} |
2229 |
|
|
2233 |
if (readSuccess()) { |
|
2234 |
line.putback(c); |
|
2235 |
} |
|
2230 | 2236 |
} |
2231 | 2237 |
|
2232 | 2238 |
public: |
2233 | 2239 |
|
... | ... |
@@ -2566,9 +2572,11 @@ |
2566 | 2572 |
char c; |
2567 | 2573 |
while (readSuccess() && line >> c && c != '@') { |
2568 | 2574 |
readLine(); |
2569 | 2575 |
} |
2570 |
|
|
2576 |
if (readSuccess()) { |
|
2577 |
line.putback(c); |
|
2578 |
} |
|
2571 | 2579 |
} |
2572 | 2580 |
|
2573 | 2581 |
void readMaps(std::vector<std::string>& maps) { |
2574 | 2582 |
char c; |
0 comments (0 inline)