Project

General

Profile

« Previous | Next » 

Revision 10795

schemas/util.sql: added schema_ident()

View differences:

schemas/util.sql
1526 1526

  
1527 1527

  
1528 1528
--
1529
-- Name: schema_ident(anyelement); Type: FUNCTION; Schema: util; Owner: -
1530
--
1531

  
1532
CREATE FUNCTION schema_ident(type_null anyelement) RETURNS text
1533
    LANGUAGE sql STABLE
1534
    AS $_$
1535
SELECT quote_ident(util.schema($1))
1536
$_$;
1537

  
1538

  
1539
--
1529 1540
-- Name: search_path_append(text); Type: FUNCTION; Schema: util; Owner: -
1530 1541
--
1531 1542

  

Also available in: Unified diff