Project

General

Profile

« Previous | Next » 

Revision 5158

root map: Removed no longer needed public schema override, which is now handled by vegbien_dest

View differences:

map
31 31
    fi
32 32
fi
33 33

  
34
replPublic () { echo "${1/public,/$public,}"; }
35

  
36
# User overrides
37
if test -n "$public" -a -n "$out_schemas"; then # use custom public schema
38
    out_schemas="$(replPublic "$out_schemas")"
39
    if test "$in_database" = "$out_database" -a -n "$in_schemas"; then
40
        in_schemas="$(replPublic "$in_schemas")"
41
    fi
42
fi
43

  
44 34
exec nice -n +5 "$bin/map" "$@"

Also available in: Unified diff