Skip to content
Snippets Groups Projects
Select Git revision
  • 4421785429124d042d5bd97fce4c6b50ec26940e
  • devel default
  • master
  • fo
  • jirka/typing
  • fo-base
  • mj/submit-images
  • jk/issue-96
  • jk/issue-196
  • honza/add-contestant
  • honza/mr7
  • honza/mrf
  • honza/mrd
  • honza/mra
  • honza/mr6
  • honza/submit-images
  • honza/kolo-vs-soutez
  • jh-stress-test-wip
  • shorten-schools
19 results

fields.py

Blame
  • admin_server.py 920 B
    import asyncio
    import json
    import sys, os
    import cbor2
    import functools
    import traceback
    import datetime
    import time
    from pathlib import Path
    
    from utils import *
    import communication
    from communication import server_exec
    import server
    
    
    class AdminServer(server.MainServer):
        @server_exec()
        async def remove_data(self, dt: datetime.datetime):
            path = "data/realtime/"+dt_to_path(dt)
            out = {}
            if os.path.isdir(path):
                for filename in os.listdir(path):
                    os.remove(path+'/'+filename)
                os.rmdir(path)
            if os.path.isfile(path+".json.zst"):
                os.remove(path+".json.zst")
            if os.path.isfile(path+".json.gzip"):
                os.remove(path+".json.gzip")
    
    
    async def main():
        s = await communication.StdInOutSocket().connect()
        await AdminServer(s, is_server=True)._server_.run()
    
    if __name__ == "__main__":
        asyncio.run(main())