From 2a417f4a9c79f02fa1af909337c2e669910cf42b Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 6 Feb 2008 19:36:53 -0600
Subject: [PATCH 1/2] add with-file-in with-file-out with-file-appender

---
 core/io/files/files.factor | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/core/io/files/files.factor b/core/io/files/files.factor
index 9a99090699..8c9bd8f2e9 100755
--- a/core/io/files/files.factor
+++ b/core/io/files/files.factor
@@ -169,3 +169,12 @@ PRIVATE>
 
 : file-contents ( path -- str )
     dup <file-reader> swap file-length <sbuf> [ stream-copy ] keep >string ;
+
+: with-file-in ( path quot -- )
+    >r <file-reader> r> with-stream ; inline
+
+: with-file-out ( path quot -- )
+    >r <file-writer> r> with-stream ; inline
+
+: with-file-appender ( path quot -- )
+    >r <file-appender> r> with-stream ; inline

From 99411495c2eaa5e4a6a7501cf8c3dbed2bed80b7 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 6 Feb 2008 19:49:07 -0600
Subject: [PATCH 2/2] add http-update to work around firewalls

---
 misc/factor.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/misc/factor.sh b/misc/factor.sh
index 26ebd04531..f0eb232821 100755
--- a/misc/factor.sh
+++ b/misc/factor.sh
@@ -200,6 +200,12 @@ git_pull_factorcode() {
         check_ret git
 }
 
+http_git_pull_factorcode() {
+        echo "Updating the git repository from factorcode.org..."
+        git pull http://factorcode.org/git/factor.git master
+        check_ret git
+}
+
 cd_factor() {
         cd factor
         check_ret cd
@@ -271,6 +277,7 @@ install() {
         bootstrap
 }
 
+
 update() {
         get_config_info
         git_pull_factorcode
@@ -278,6 +285,13 @@ update() {
         make_factor
 }
 
+http_update() {
+        get_config_info
+        http_git_pull_factorcode
+        make_clean
+        make_factor
+}
+
 update_bootstrap() {
         delete_boot_images
         get_boot_image
@@ -310,6 +324,7 @@ case "$1" in
         self-update) update; make_boot_image; bootstrap;;
         quick-update) update; refresh_image ;;
         update) update; update_bootstrap ;;
+        http-update) http_update; update_bootstrap ;;
         bootstrap) get_config_info; bootstrap ;;
         wget-bootstrap) get_config_info; delete_boot_images; get_boot_image; bootstrap ;;
         *) usage ;;