re-enable build and fix TTLShort

.github/workflows/build.yml

@@ -24,7 +24,7 @@ jobs:
            # Put git hash in startup message
            sed -i "s/Loading.../$(date +%Y%m%d)-$(git rev-parse --short HEAD)/g" src/userinterface.cpp
            # https://github.com/rsta2/circle/discussions/427#discussioncomment-11198505
-           # sed -i -e 's|TTLShort = 120|TTLShort = 15|g' circle-stdlib/libs/circle/include/circle/net/mdnspublisher.h
+           sed -i -e 's|TTLShort = 120|TTLShort = 15|g' circle-stdlib/libs/circle/include/circle/net/mdnspublisher.h
     - name: Install toolchains
       run: |
            set -ex

src/net/mdnspublisher.h

@@ -54,7 +54,7 @@ public:
 private:
 	static const unsigned MaxTextRecords = 10;
 	static const unsigned MaxMessageSize = 1400;	// safe UDP payload in an Ethernet frame
-	static const unsigned TTLShort = 10;		// seconds
+	static const unsigned TTLShort = 15;		// seconds
 	static const unsigned TTLLong = 4500;
 	static const unsigned TTLDelete = 0;
 	struct TService