remove duplicate code; add server type and name in headers
commitd2233aac8841042d0c365f2221331bd567fe5fb2
authorMarc Delisle <marc@infomarc.info>
Sun, 25 Oct 2009 11:38:17 +0000 (25 11:38 +0000)
committerMarc Delisle <marc@infomarc.info>
Sun, 25 Oct 2009 11:38:17 +0000 (25 11:38 +0000)
tree69a80a334a60cbbc42afdc44dffff0011e342069
parent27ac573433d6112dcf979b0062e3f7da76eca965
remove duplicate code; add server type and name in headers
libraries/server_synchronize.lib.php
server_synchronize.php