diff --git a/.gitignore b/.gitignore index 447ec08..b98ad24 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ config/ res/ target/ -bin/ \ No newline at end of file +bin/ +logs/ \ No newline at end of file diff --git a/manage.py b/manage.py new file mode 120000 index 0000000..6464ada --- /dev/null +++ b/manage.py @@ -0,0 +1 @@ +third_party/tools/scripts/publish_java/manage.py \ No newline at end of file diff --git a/reload.sh b/reload.sh deleted file mode 100644 index e69de29..0000000 diff --git a/reload.sh b/reload.sh new file mode 120000 index 0000000..5a47e17 --- /dev/null +++ b/reload.sh @@ -0,0 +1 @@ +third_party/tools/scripts/publish_java/reload.sh \ No newline at end of file diff --git a/restart.sh b/restart.sh deleted file mode 100644 index 244fb33..0000000 --- a/restart.sh +++ /dev/null @@ -1,3 +0,0 @@ -cd bin -sh shutdown.sh -sh startup.sh diff --git a/restart.sh b/restart.sh new file mode 120000 index 0000000..e0a8ff9 --- /dev/null +++ b/restart.sh @@ -0,0 +1 @@ +third_party/tools/scripts/publish_java/restart.sh \ No newline at end of file diff --git a/start_instance.sh b/start_instance.sh deleted file mode 100644 index e69de29..0000000 diff --git a/start_instance.sh b/start_instance.sh new file mode 120000 index 0000000..89d85ef --- /dev/null +++ b/start_instance.sh @@ -0,0 +1 @@ +third_party/tools/scripts/publish_java/start_instance.sh \ No newline at end of file