diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-10-16 18:35:17 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-10-16 18:35:17 (GMT) |
commit | 60c543c1d8c6699cc96829f15b16ecc60ac0b410 (patch) | |
tree | f0087f620d45246acf0268da539cb815796d88c0 /apps | |
parent | 4d186e24e44fe07f04708c2dc38387534c02c7fd (diff) | |
download | uscxml-60c543c1d8c6699cc96829f15b16ecc60ac0b410.zip uscxml-60c543c1d8c6699cc96829f15b16ecc60ac0b410.tar.gz uscxml-60c543c1d8c6699cc96829f15b16ecc60ac0b410.tar.bz2 |
Added license information and bug fixes
Diffstat (limited to 'apps')
-rw-r--r-- | apps/uscxml-browser.cpp | 12 | ||||
-rw-r--r-- | apps/w3c-mmi/im/uscxml-interaction-manager.cpp | 2 |
2 files changed, 7 insertions, 7 deletions
diff --git a/apps/uscxml-browser.cpp b/apps/uscxml-browser.cpp index e6869c4..3cb1138 100644 --- a/apps/uscxml-browser.cpp +++ b/apps/uscxml-browser.cpp @@ -119,7 +119,7 @@ int main(int argc, char** argv) { if (!options) { InterpreterOptions::printUsageAndExit(argv[0]); } - + // setup logging google::LogToStderr(); google::InitGoogleLogging(argv[0]); @@ -131,13 +131,13 @@ int main(int argc, char** argv) { sslConf->privateKey = options.certificate; sslConf->publicKey = options.certificate; sslConf->port = options.httpsPort; - + } else if (options.privateKey.length() > 0 && options.publicKey.length() > 0) { sslConf = new HTTPServer::SSLConfig(); sslConf->privateKey = options.privateKey; sslConf->publicKey = options.publicKey; sslConf->port = options.httpsPort; - + } HTTPServer::getInstance(options.httpPort, sslConf); @@ -148,7 +148,7 @@ int main(int argc, char** argv) { InterpreterOptions* currOptions = confIter->second; std::string documentURL = confIter->first; - + LOG(INFO) << "Processing " << documentURL; Interpreter interpreter = Interpreter::fromURI(documentURL); if (interpreter) { @@ -163,7 +163,7 @@ int main(int argc, char** argv) { SCXMLDotWriter* dotWriter = new SCXMLDotWriter(); interpreter.addMonitor(dotWriter); } - + interpreters.push_back(interpreter); } else { @@ -192,6 +192,6 @@ int main(int argc, char** argv) { } } } - + return EXIT_SUCCESS; }
\ No newline at end of file diff --git a/apps/w3c-mmi/im/uscxml-interaction-manager.cpp b/apps/w3c-mmi/im/uscxml-interaction-manager.cpp index 19e9d9b..9d93a55 100644 --- a/apps/w3c-mmi/im/uscxml-interaction-manager.cpp +++ b/apps/w3c-mmi/im/uscxml-interaction-manager.cpp @@ -167,7 +167,7 @@ int main(int argc, char** argv) { } } - (void)verbose; + (void)verbose; // intialize http server on given port HTTPServer::getInstance(port); |