Migrate ensime_gen.py, reporting_server.py to new options format.

Review Request #1251 — Created Oct. 30, 2014 and submitted

zundel
pants
zundel/reporting-server-arg-migration
746
27e7bce...
pants-reviews
benjyw

Migrate ensime_gen.py, reporting_server.py to new options format.

manually invoking tasks w/ command line flags.
ci is running

ZU
  1. 
      
  2. This option was declared, but not wired up before. I passed it into the template, even though the template checked in doesn't reference it. Or I could remove the option all together.

  3. 
      
IT
  1. lgtm!

  2. happy with dropping it

  3. 
      
ZU
ZU
Review request changed

Status: Closed (submitted)

Change Summary:

commit 19a4666
BE
  1. 
      
  2. Consider s/Attempt to open/Open/.

    I've been going all strunk-and-white on the help messages and it's been very cathartic.

  3. So this was never used?

    1. I don't know if anyone set the option but it had no effect in the code.

  4. 
      
Loading...