From 158ff60704d5c29ca24ae4e63f55d964a859d66d Mon Sep 17 00:00:00 2001
From: Stephen Soltesz <soltesz@cs.princeton.edu>
Date: Tue, 8 Jul 2008 19:38:51 +0000
Subject: [PATCH] Tagging module BootManager - BootManager-3.2-12 correctly
 convert port number to int before creating HTTPSConnection() object, plus
 other changes to file to accomodate this.

-- 
2.47.0