VM hack to fix #259

diff --git a/Vagrantfile b/Vagrantfile
index 7a784dc3b48b4d97d470f9ca39a2f113fdcf2bb2..e06c6d79571fdc7eec478a9086df1dfe401485a8 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -49,6 +49,11 @@ apt-get install -y python-pip postgresql python-virtualenv virtualenvwrapper \
                    libxml2-dev libmemcached-dev python-dev rabbitmq-server \
                    p7zip-full pdf2htmlex
 
+cat >> `dpkg -L pdf2htmlex | grep pdf2htmlEX.js` <<PDF2HTMLEXHACK
+Viewer.prototype['rescale'] = Viewer.prototype.rescale;
+Viewer.prototype['scroll_to'] = Viewer.prototype.scroll_to;
+PDF2HTMLEXHACK
+
 echo "CREATE USER vagrant WITH CREATEROLE LOGIN; CREATE DATABASE karmaworld OWNER vagrant;" | su postgres -c "psql"
 
 mkdir -m 775 -p /var/www