+function update_server_info () {
+ echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx updating server info "
+ for arg in "$@" ; do
+ # accept args like plcapi or plcapi.git
+ b=$(basename $arg .git)
+ git=${b}.git
+ echo -n "$git "
+ cd $git
+ git update-server-info
+ cd - >& /dev/null
+ done
+ echo ""
+}
+