Michael Zanetti
|
b2756c9241
|
make the REST server optional and disabled by default
Also fixes an issue where the REST server would sometimes
try to send the reply to the wrong WebServer instance
|
2019-04-08 13:55:15 +02:00 |
|
Michael Zanetti
|
67a535619f
|
fix typos as reported by Krazy2
|
2019-04-08 13:55:15 +02:00 |
|
Michael Zanetti
|
b8a86b095d
|
copyright headers guh -> nymea
|
2019-04-08 13:55:15 +02:00 |
|
Michael Zanetti
|
36d4f89b24
|
namespace guhserver -> namespace nymeaserver
|
2019-04-08 13:55:15 +02:00 |
|
Michael Zanetti
|
559a8be1f6
|
guhcore -> nymeacore
|
2019-04-08 13:55:15 +02:00 |
|
Michael Zanetti
|
4be14f1904
|
libguh-core -> libnymea-core
|
2019-04-08 13:55:15 +02:00 |
|