run_dev.sh

#!/bin/bash

# Clean up log file
rm -f jupyter_server.log

# Uninstall and reinstall thread package
pip uninstall -y thread-dev
pip install -e ./server_extension --no-cache-dir

# Enable Jupyter server extension for thread
jupyter server extension enable thread

# Start the Jupyter server with specified configurations
jupyter server --ServerApp.allow_origin_pat="^(http://localhost:3000)$" \
               --ServerApp.allow_credentials=True \
               --ServerApp.token="123" \
               --ServerApp.password="" \
               --Application.log_level=0 \
               --debug