package page.example;

import org.wikiwebserver.handler.http.interfaces.*;

import page.tools.html.TemplatedPushPage;
import static org.wikiwebserver.html.HTMLHelper.*;

public class PushUpdate extends TemplatedPushPage implements HTTPResponder {
    
    private int count = 0;
	
    public void generate() {
       
        setTitle("Push update example - WikiWebServer.org");
        append(h(1, "Push update example") + p("Server side count: " +
               div("countDiv", "style='padding:50px;font-size: 6em;'", "0")));
        
        setUpdatePeriod(100);
        setPushEnabled(true);
    }
    
    protected void update() {
        count++;
        append(javaScript(updateHTMLScript("countDiv", String.valueOf(count))));
    }
}