Какой командой можно сохранить файл .pid?

@Путин · Регистрация: 14.04.2011

Author24 — интернет-сервис помощи студентам

Есть php скрипт который дает определенные команды скрипту (stop, start...)
И есть игровой сервер MineCraft (Java) который управляется этим скриптом.
Вот вопрос:
Как сделать так, чтобы скрипт не запускал сервер, если тот уже запущен?
Пробовал через PID, но файлы PID сервер почему то не сохраняет... возможно я что то не так делаю.
Вот параметры запуска:

Bash

#! /bin/sh cd
 
~/home/example/server/
 
java -Xincgc -Xmx2G -jar server.jar -pidfile /home/example/server/mine001.pid

файл он не сохраняет почему то...

Добавлено через 19 минут
Все ребят доперло, просто добавил в start.sh

Bash

1	echo $$ > /home/example/server/mc001.pid

и все заработало, офф топик!

accept · 06.03.2013, 22:52

Сообщение от Путин

Bash

1	#! /bin/sh cd

зачем ты так пишешь ? cd должна стоять там, где она выполняется

	06.03.2013, 22:52