1
Fork 0

Minor fixes in command line tool.

main
Davi de Castro Reis 2012-06-08 11:37:40 -03:00
parent f5c937d1fc
commit 6744476198
1 changed files with 5 additions and 1 deletions

View File

@ -35,7 +35,7 @@ int main(int argc, char** argv) {
int verbosity = 0;
while (1) {
char ch = (char)getopt(argc, argv, "hv");
char ch = (char)getopt(argc, argv, "hvV");
if (ch == -1) break;
switch (ch) {
case 'h':
@ -55,6 +55,10 @@ int main(int argc, char** argv) {
}
vector<string> keys;
ifstream f(argv[optind]);
if (!f.is_open()) {
std::cerr << "Failed to open " << argv[optind] << std::endl;
exit(-1);
}
string buffer;
while (!getline(f, buffer).eof()) keys.push_back(buffer);
for (uint32_t i = 0; i < keys.size(); ++i) string s = keys[i];