From baebaf3311901775371df0d04498ef733cf41cc6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Simon=20K=C3=A5gedal=20Reimer?= <skagedal@gmail.com>
Date: Thu, 12 Mar 2015 21:31:32 +0100
Subject: [PATCH] Add possibility to set port for web server

---
 build.rb | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/build.rb b/build.rb
index 7a16647..82693f1 100755
--- a/build.rb
+++ b/build.rb
@@ -243,9 +243,10 @@ class Server
     def run(options)
         require 'webrick'
 	listener = options[:watch] && start_watcher
+        port = options[:port] || 8000
 	    
-        puts "Serving at http://localhost:8000/ ..."
-        server = WEBrick::HTTPServer.new :Port => 8000, :DocumentRoot => CONFIG[:output_dir]
+        puts "Serving at http://localhost:#{port}/ ..."
+        server = WEBrick::HTTPServer.new :Port => port, :DocumentRoot => CONFIG[:output_dir]
 	trap 'INT' do 
             server.shutdown 
         end
@@ -268,14 +269,15 @@ def main
 	opts.banner = %{Usage: build.rb <command> [options]
 
 Use 'build.rb' to build the manual.  Use 'build.rb serve' to also
-start a web server.  Options:
+start a web server; setting any web server options implies "serve".
 }
-        opts.on("--watch", "Watch for changes") { options[:watch] = true }
+        opts.on("-w", "--watch", "Watch for changes") { options[:watch] = true }
+        opts.on("-p", "--port N", Integer, "Specify port for web server") { |p| options[:port] = p }
     end.parse!
 
     Site.new.build
 
-    if ARGV == ['serve']
+    if options[:watch] || options[:port] || (ARGV.length > 0 && "serve".start_with?(ARGV[0]))
         Server.new.run(options)
     end
 end
-- 
2.37.2