DeviceKit/dev.sh at main · jhd3197/DeviceKit · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#!/usr/bin/env bash
# DeviceKit - Start backend and frontend in dev mode

set -e

SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"

cleanup() {
    echo ""
    echo "Shutting down..."
    kill $BACKEND_PID $FRONTEND_PID 2>/dev/null
    wait $BACKEND_PID $FRONTEND_PID 2>/dev/null
    exit 0
}

trap cleanup INT TERM

echo "Starting DeviceKit dev servers..."
echo ""
echo "  Backend  : http://localhost:7317"
echo "  Frontend : http://localhost:7318"
echo ""

# Start backend
cd "$SCRIPT_DIR/backend"
python app.py &
BACKEND_PID=$!

# Give backend a moment to start
sleep 2

# Start frontend
cd "$SCRIPT_DIR/frontend"
npm run dev &
FRONTEND_PID=$!

echo "Press Ctrl+C to stop both servers."
wait