Project

General

Profile

« Previous | Next » 

Revision 4981

root map: Fixed custom public schema override to work with schemas lists that include public, by replacing public with the new public schema instead of just appending it

View differences:

map
31 31
    fi
32 32
fi
33 33

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

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

  

Also available in: Unified diff