Update web_rocksdb.py