Is there a better way to change the default server port?

2020-07-08 Thread Kshitij Kotasthane
I recently started using django and because port 8000 on my PC was already occupied, I had to modify the runserver.py file directly to start on another port. By default, shouldn't there be an option in manage.py or settings.py to modify the port to start the test server on? Or am I missing some

Re: Is there a better way to change the default server port?

2020-07-08 Thread Luciano Martins
python manage.py runserver localhost:5000 Em quarta-feira, 8 de julho de 2020 12:56:58 UTC-3, Kshitij Kotasthane escreveu: > > I recently started using django and because port 8000 on my PC was already > occupied, I had to modify the runserver.py file directly to start on > another port. By def

Re: Is there a better way to change the default server port?

2020-07-09 Thread Kshitij Kotasthane
Doing this every time I run the server is really inconveninent as I said above. On Thursday, 9 July 2020 00:40:54 UTC+5:30, Luciano Martins wrote: > > python manage.py runserver localhost:5000 > > Em quarta-feira, 8 de julho de 2020 12:56:58 UTC-3, Kshitij Kotasthane > escreveu: >> >> I recently

Re: Is there a better way to change the default server port?

2020-07-09 Thread Mike Dewhirst
On 10/07/2020 12:11 am, Kshitij Kotasthane wrote: Doing this every time I run the server is really inconveninent as I said above. On Thursday, 9 July 2020 00:40:54 UTC+5:30, Luciano Martins wrote: python manage.py runserver localhost:5000 Em quarta-feira, 8 de julho de 2020 12:56:58 U

Re: Is there a better way to change the default server port?

2020-07-15 Thread Kshitij Kotasthane
If you could provide give a copy of the run-local.sh, that'd be great. On Friday, 10 July 2020 07:13:12 UTC+5:30, Mike Dewhirst wrote: > > On 10/07/2020 12:11 am, Kshitij Kotasthane wrote: > > Doing this every time I run the server is really inconveninent as I > > said above. > > > > On Thursd

Re: Is there a better way to change the default server port?

2020-07-15 Thread Mike Dewhirst
On 16/07/2020 3:11 pm, Kshitij Kotasthane wrote: > If you could provide give a copy of the run-local.sh, that'd be great. I don't have time to convert it into a bash script ... but you should be able to pick a minimum section of it and get your own bash script going. I started small and kept addin

Re: Is there a better way to change the default server port?

2020-07-15 Thread Mike Dewhirst
Sorry about that - I'll reformat and send again shortly M On 16/07/2020 3:11 pm, Kshitij Kotasthane wrote: > If you could provide give a copy of the run-local.sh, that'd be great. I don't have time to convert it into a bash script ... but you should be able to pick a minimum section of it and ge

Re: Is there a better way to change the default server port?

2020-07-15 Thread Mike Dewhirst
Trying again M On 16/07/2020 3:11 pm, Kshitij Kotasthane wrote: > If you could provide give a copy of the run-local.sh, that'd be great. I don't have time to convert it into a bash script ... but you should be able to pick a minimum section of it and get your own bash script going. I started