redirect to directory post target build

makeserver/make_server.py

@@ -82,7 +82,13 @@ def maker (path, queue):
 
                 # Check if output now exists, if so redirect to it
                 # If not (phony target?) Just show the output
-                if os.path.exists(os.path.join(req['cwd'], req['path'])):
+                if 'target' in req:
+                    rurl = "/"+os.path.relpath(req['cwd'], path)+"?lastbuild={0}".format(datetime.datetime.now().isoformat())
+                    print ("Make successful (target). Redirecting to {0}".format(rurl))
+                    redirect_body = redirectTo(rurl, req['request'])
+                    req['request'].write(redirect_body)
+                    req['request'].finish()
+                elif os.path.exists(os.path.join(req['cwd'], req['path'])):
                     rurl = "/"+os.path.relpath(req['path'], path)+"?lastbuild={0}".format(datetime.datetime.now().isoformat())
                     print ("Make successful. Redirecting to {0}".format(rurl))
                     redirect_body = redirectTo(rurl, req['request'])