Method push

java/jakarta/servlet/http/PushBuilder.java:134–134

Generates the push request and sends it to the client unless pushes are not available for some reason. After calling this method the following fields are set to null: path conditional request headers (if-none-match and if-modified-since)

()

     * @throws IllegalArgumentException If the request to push requires a body
     */
    void push();

    /**
     * Obtain the name of the HTTP method that will be used for push requests generated by future calls to