from pywebio import start_server
from pywebio.output import put_html
import datetime

def use_scope_case3():
    put_html('''
    <div id="time"></div>
    <script>
        function updateTime() {
            document.getElementById("time").innerText = new Date().toLocaleString();
        }
        setInterval(updateTime, 1000);
        updateTime();
    </script>
    ''')

if __name__ == '__main__':
    start_server(use_scope_case3, port=8080)