#!/bin/bash
# 停止 DevOS API
if [ -f /tmp/devos-api.pid ]; then kill "$(cat /tmp/devos-api.pid)" 2>/dev/null; rm -f /tmp/devos-api.pid; echo stopped; fi