Server/stopDocker.bat

@echo off
echo Stopping docker. If container was started with --rm flag (like through startDocker.bat),
echo the container will also be removed.
docker stop Server-Testbuild
script: redesigned build scripts, and added docker start and stop scripts 2021-06-05 12:40:22 +00:00			`@echo off`
script: added explanatory echos to scripts 2021-06-05 12:56:35 +00:00			`echo Stopping docker. If container was started with --rm flag (like through startDocker.bat),`
			`echo the container will also be removed.`
script: redesigned build scripts, and added docker start and stop scripts 2021-06-05 12:40:22 +00:00			`docker stop Server-Testbuild`