[patch] gg-transport configuration patch, adding current server list

current_servers.diff (text/plain), 3.63 KB, created by skolima on 2010-01-15 10:19:41 UTC

--- jggtrans.xml	2010-01-15 10:58:11.580766353 +0100
+++ /etc/jabber/jggtrans.xml	2010-01-15 11:08:11.859515671 +0100
@@ -142,45 +95,95 @@
 	that not all servers will accept TLS connections.
 	Servers (including hub) are tried in order as they appear in <servers/>
 	element.
-	A reasonable default server list is hardcoded in jggtrans.
-	TLS usually doesn't work right so it is not recommended to turn it on.
       -->
- <!--
  <servers>
-        <hub tls="no"/>
-        <server tls="no">217.17.41.92</server>
-        <server tls="no">217.17.41.85</server>
-        <server tls="no">217.17.41.83</server>
-        <server tls="no">217.17.41.88</server>
-        <server tls="no">217.17.41.84</server>
-        <server tls="no">217.17.41.86</server>
-        <server tls="no">217.17.41.87</server>
+        <hub/>
+        <server port="443">91.197.13.11</server>
+        <server tls="no">91.197.13.11</server>
+        <server port="443">91.197.13.14</server>
+        <server tls="no">91.197.13.14</server>
+        <server port="443">91.197.13.33</server>
+        <server tls="no">91.197.13.33</server>
+        <server port="443">91.197.13.34</server>
+        <server tls="no">91.197.13.34</server>
+        <server port="443">91.197.13.35</server>
+        <server tls="no">91.197.13.35</server>
+        <server port="443">91.197.13.36</server>
+        <server tls="no">91.197.13.36</server>
+        <server port="443">91.197.13.37</server>
+        <server tls="no">91.197.13.37</server>
+        <server port="443">91.197.13.38</server>
+        <server tls="no">91.197.13.38</server>
+        <server port="443">91.197.13.39</server>
+        <server tls="no">91.197.13.39</server>
+        <server port="443">91.197.13.4</server>
+        <server tls="no">91.197.13.4</server>
+        <server port="443">91.197.13.40</server>
+        <server tls="no">91.197.13.40</server>
+        <server port="443">91.197.13.41</server>
+        <server tls="no">91.197.13.41</server>
+        <server port="443">91.197.13.43</server>
+        <server tls="no">91.197.13.43</server>
+        <server port="443">91.197.13.44</server>
+        <server tls="no">91.197.13.44</server>
+        <server port="443">91.197.13.45</server>
+        <server tls="no">91.197.13.45</server>
+        <server port="443">91.197.13.5</server>
+        <server tls="no">91.197.13.5</server>
+        <server port="443">91.197.13.53</server>
+        <server tls="no">91.197.13.53</server>
+        <server port="443">91.197.13.54</server>
+        <server tls="no">91.197.13.54</server>
+        <server port="443">91.197.13.68</server>
+        <server tls="no">91.197.13.68</server>
+        <server port="443">91.197.13.69</server>
+        <server tls="no">91.197.13.69</server>
+        <server port="443">91.197.13.70</server>
+        <server tls="no">91.197.13.70</server>
+        <server port="443">91.197.13.71</server>
+        <server tls="no">91.197.13.71</server>
+        <server port="443">91.197.13.72</server>
+        <server tls="no">91.197.13.72</server>
+        <server port="443">91.197.13.74</server>
+        <server tls="no">91.197.13.74</server>
+        <server port="443">91.197.13.75</server>
+        <server tls="no">91.197.13.75</server>
+        <server tls="no">91.197.13.76</server>
+        <server port="443">91.197.13.77</server>
+        <server tls="no">91.197.13.77</server>
+        <server port="443">91.197.13.79</server>
+        <server tls="no">91.197.13.79</server>
+        <server port="443">91.197.13.80</server>
+        <server tls="no">91.197.13.80</server>
+        <server port="443">91.197.13.82</server>
+        <server tls="no">91.197.13.82</server>
  </servers>
- -->