[tor-bugs] #12934 [Onionoo]: Vagrant file and the like

[Tor Bug Tracker & Wiki]

#12934: Vagrant file and the like
-----------------------------+-------------------------
     Reporter:  iwakeh       |      Owner:
         Type:  enhancement  |     Status:  closed
     Priority:  normal       |  Milestone:
    Component:  Onionoo      |    Version:
   Resolution:  implemented  |   Keywords:  vagrantfile
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+-------------------------
Changes (by karsten):

 * status:  needs_review => closed
 * resolution:   => implemented


Comment:

 Okay, here's what I did:

  - Added `maxmemory.value` to `build.xml`.
  - Didn't change the `server.xml` suggestion in INSTALL, because I didn't
 find any mention of the hard-coded IP address.
  - Added a note to the bottom of HOWTO-VAGRANT.md: "Note that Tomcat's
 default server.xml needs no changing for running in the development
 environment.  See the INSTALL file for necessary changes in the production
 environment."
  - Pushed new commit to the
 [https://gitweb.torproject.org/user/karsten/onionoo.git/shortlog/refs/heads/task-12934
 previously mentioned branch].
  - Squashed the three new commits and pushed to master.

 I ''think'' that concludes this ticket, which is why I'm closing.  Please
 re-open if anything else remains.  Thanks!

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/12934#comment:6>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online