How to change the listening port?

Mongoose Web Server
#1

I’d like to set a different port. The default is 8000. How to change it?

I am using the WIndows’s executable.

#2

In the same directory where mongoose.exe file is located, create a mongoose.conf file with the following contents (change 1234 to whatever port you’d like):

-l http://0.0.0.0:1234