Revert 288 docs to old theme

These docs are based on a custom build of release-0.288 with two commits reverted in order to restore the old docs theme. This was done in order to prevent having to release a 0.288.1 version just to update the docs website.
prestodb · Jul 12, 2024 · 0125349 · 0125349
1 parent a54d825
commit 0125349
Show file tree

Hide file tree

Showing 554 changed files with 642,907 additions and 1,472,955 deletions.
diff --git a/website/static/docs/0.288/_sources/functions/array.rst.txt b/website/static/docs/0.288/_sources/functions/array.rst.txt
@@ -67,6 +67,10 @@ Array Functions
 .. function:: array_has_duplicates(array(T)) -> boolean
 
     Returns a boolean: whether ``array`` has any elements that occur more than once.
+    Throws an exception if any of the elements are rows or arrays that contain nulls. ::
+
+    SELECT array_has_duplicates(ARRAY[1, 2, null, 1, null, 3]) -- true
+    SELECT array_has_duplicates(ARRAY[ROW(1, null), ROW(1, null)]) -- "map key cannot be null or contain nulls"
 
 .. function:: array_intersect(x, y) -> array
 

diff --git a/website/static/docs/0.288/_sources/rest/node.rst.txt b/website/static/docs/0.288/_sources/rest/node.rst.txt
@@ -54,36 +54,37 @@ Node Resource
    **Example response with Errors**:
 
       .. sourcecode:: http
-
-        HTTP/1.1 200 OK
-        Vary: Accept
-        Content-Type: text/javascript
-
-        [
-            {
-                "age": "4.45m",
-                "lastFailureInfo": {
-                    "message": "Connect Timeout",
-                    "stack": [
-                        "org.eclipse.jetty.io.ManagedSelector$ConnectTimeout.run(ManagedSelector.java:683)",
-                        ....
-                        "java.lang.Thread.run(Thread.java:745)"
-                    ],
-                    "suppressed": [],
-                    "type": "java.net.SocketTimeoutException"
-                },
-                "lastRequestTime": "2017-08-05T11:53:00.647Z",
-                "lastResponseTime": "2017-08-05T11:53:00.647Z",
-                "recentFailureRatio": 0.47263053472046446,
-                "recentFailures": 2.8445543205610617,
-                "recentFailuresByType": {
-                    "java.net.SocketTimeoutException": 2.8445543205610617
-                },
-                "recentRequests": 6.018558073577414,
-                "recentSuccesses": 3.1746446343010297,
-                "uri": "http://172.19.0.3:8080"
-            }
-        ]
+
+
+         HTTP/1.1 200 OK
+	 Vary: Accept
+	 Content-Type: text/javascript
+
+	 [
+	   {
+           "age": "4.45m",
+           "lastFailureInfo": {
+               "message": "Connect Timeout",
+               "stack": [
+                   "org.eclipse.jetty.io.ManagedSelector$ConnectTimeout.run(ManagedSelector.java:683)",
+                   ....
+                   "java.lang.Thread.run(Thread.java:745)"
+               ],
+               "suppressed": [],
+               "type": "java.net.SocketTimeoutException"
+           },
+           "lastRequestTime": "2017-08-05T11:53:00.647Z",
+           "lastResponseTime": "2017-08-05T11:53:00.647Z",
+           "recentFailureRatio": 0.47263053472046446,
+           "recentFailures": 2.8445543205610617,
+           "recentFailuresByType": {
+               "java.net.SocketTimeoutException": 2.8445543205610617
+           },
+           "recentRequests": 6.018558073577414,
+           "recentSuccesses": 3.1746446343010297,
+           "uri": "http://172.19.0.3:8080"
+	   }
+	 ]
 
 .. function:: GET /v1/node/failed
 
@@ -96,33 +97,29 @@ Node Resource
 
       .. sourcecode:: http
 
-        HTTP/1.1 200 OK
-        Vary: Accept
-        Content-Type: text/javascript
-
-        [
-            {
-                "age": "1.37m",
-                "lastFailureInfo": {
-                    "message": "Connect Timeout",
-                    "stack": [
-                        "org.eclipse.jetty.io.ManagedSelector$ConnectTimeout.run(ManagedSelector.java:683)",
-                        .....
-                        "java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)",
-                        "java.lang.Thread.run(Thread.java:745)"
-                    ],
-                    "suppressed": [],
-                    "type": "java.net.SocketTimeoutException"
-                },
-                "lastRequestTime": "2017-08-05T11:52:42.647Z",
-                "lastResponseTime": "2017-08-05T11:52:42.647Z",
-                "recentFailureRatio": 0.22498784153043677,
-                "recentFailures": 20.11558290058638,
-                "recentFailuresByType": {
-                    "java.net.SocketTimeoutException": 20.11558290058638
-                },
-                "recentRequests": 89.40742203558189,
-                "recentSuccesses": 69.30583024727453,
-                "uri": "http://172.19.0.3:8080"
-            }
-        ]
+     [
+         {
+             "age": "1.37m",
+             "lastFailureInfo": {
+                 "message": "Connect Timeout",
+                 "stack": [
+                     "org.eclipse.jetty.io.ManagedSelector$ConnectTimeout.run(ManagedSelector.java:683)",
+                     .....
+                     "java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)",
+                     "java.lang.Thread.run(Thread.java:745)"
+                 ],
+                 "suppressed": [],
+                 "type": "java.net.SocketTimeoutException"
+             },
+             "lastRequestTime": "2017-08-05T11:52:42.647Z",
+             "lastResponseTime": "2017-08-05T11:52:42.647Z",
+             "recentFailureRatio": 0.22498784153043677,
+             "recentFailures": 20.11558290058638,
+             "recentFailuresByType": {
+                 "java.net.SocketTimeoutException": 20.11558290058638
+             },
+             "recentRequests": 89.40742203558189,
+             "recentSuccesses": 69.30583024727453,
+             "uri": "http://172.19.0.3:8080"
+         }
+     ]