From 780d9e9fd77aba323355cbbc2bfe2fadfd5d63f8 Mon Sep 17 00:00:00 2001 From: lbartoletti Date: Fri, 13 Dec 2019 07:21:33 +0100 Subject: [PATCH] fix and improve description --- resources/function_help/json/is_empty | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/function_help/json/is_empty b/resources/function_help/json/is_empty index 28b92046ff8..77fa192245e 100644 --- a/resources/function_help/json/is_empty +++ b/resources/function_help/json/is_empty @@ -1,7 +1,7 @@ { "name": "is_empty", "type": "function", - "description": "Returns true if a geometry is empty (without coordinates) or false if the geometry is empty.", + "description": "Returns true if a geometry is empty (without coordinates), false if the geometry is not empty and NULL if there is no geometry.", "arguments": [ {"arg":"geom","description":"a geometry"}], "examples": [ { "expression":"is_empty(geom_from_wkt('LINESTRING(0 0, 1 1, 2 2)'))", "returns":"false"}, { "expression":"is_empty(geom_from_wkt('LINESTRING EMPTY'))", "returns":"true"},