Changeset 225

Show
Ignore:
Timestamp:
02/05/03 13:33:14 (6 years ago)
Author:
jajcus
Message:

- description of <servers/> element

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/jggtrans.xml

    r185 r225  
    104104 --> 
    105105 
    106   <!-- You can change this values according to your needs --> 
    107   <conn_timeout>3000</conn_timeout> 
    108   <ping_interval>10</ping_interval> 
     106 <!-- You can change this values according to your needs --> 
     107 <conn_timeout>60</conn_timeout> 
     108 <ping_interval>10</ping_interval> 
    109109 
    110   <!-- GaduGadu server doesn't seem to answer pings any more :-(  
    111       So let's give it a year :-) --> 
    112   <pong_timeout>31536000</pong_timeout> 
     110 <!-- GaduGadu server doesn't seem to answer pings any more :-(  
     111      So let's give it a year :-) --> 
     112 <pong_timeout>31536000</pong_timeout> 
    113113 
    114114 <!-- this time after disconnection from gg server the transport 
    …… 
    116116 <reconnect>300</reconnect> 
    117117 
    118  <!-- you can set gg server address here if the "autodetection" doesn't work --> 
    119  <!-- this should be dotted-quad format, not the hostname --> 
     118 <!-- How long to wait before restart, after jabber server connection is broken 
     119      negative value means, that jggtrans should terminate -->  
     120 <restart_timeout>60</restart_timeout> 
     121 
     122 <!-- list of gg servers to use.  
     123        <hub/> means "use GG hub to find server"  
     124        <server/> tag should contain server address and may contain "port" 
     125        attribute with port number. 
     126        Servers (including hub) are tried in order as they appear in <servers/> 
     127        element. 
     128        A reasonable default server list is hardcoded in jggtrans. 
     129      --> 
    120130 <!-- 
    121  <gg_server>192.168.0.0</gg_server> 
     131 <servers> 
     132        <hub/> 
     133        <server>217.17.41.84</server>  
     134        <server>217.17.41.85</server>  
     135        <server port="8074">217.17.41.86</server>  
     136 </servers> 
    122137 --> 
    123  
    124  <!-- you can set gg server port here if the "autodetection" doesn't work --> 
    125  <!-- 
    126  <gg_port>8074</gg_port> 
    127  --> 
    128  
     138  
    129139 <!-- Spool directory. This is the place, where user info will be stored. --> 
    130140 <!-- Be careful about permissions - users' GG passwords are stored there --> 
    …… 
    134144 <pidfile>/var/lib/jabber/ggtrans.pid</pidfile> 
    135145 
    136  <!-- How long to wait before restart, after jabber server connection is broken 
    137       negative value means, that jggtrans should terminate -->  
    138  <restart_timeout>60</restart_timeout> 
    139  
    140146</jggtrans> 
    141147<!--