-- Name: datasource_rename(varchar(255), varchar(255), anyelement); Type: FUNCTION; Schema: public; Owner: -

--

--

-- Name: FUNCTION datasource_rename(old varchar(255), new varchar(255), schema_null anyelement); Type: COMMENT; Schema: public; Owner: -

--

--

-- Name: datasource_rename(text, text, anyelement); Type: FUNCTION; Schema: public; Owner: -

--

CREATE FUNCTION datasource_rename(old text, new text, schema_null anyelement DEFAULT NULL::source) RETURNS void

    LANGUAGE sql

    AS $_$

SELECT set_config('search_path', util.schema_ident($3), true);

UPDATE source SET shortname = $2 WHERE shortname = $1;

$_$;

--

-- Name: FUNCTION datasource_rename(old text, new text, schema_null anyelement); Type: COMMENT; Schema: public; Owner: -

--

COMMENT ON FUNCTION datasource_rename(old text, new text, schema_null anyelement) IS 'secure against renamings of the public schema.

schema_null: identifies which schema''s tables to use. the default value is usually fine.

';

--