[midPoint-git] [Evolveum/midpoint] 8035f8: Add support for JAVA_HOME with spaces (MID-4732)

[Pavol Mederly]

  Branch: refs/heads/support-3.8
  Home:   https://github.com/Evolveum/midpoint
  Commit: 8035f87e0be198bb816aa18fc8b915eabc079264
      https://github.com/Evolveum/midpoint/commit/8035f87e0be198bb816aa18fc8b915eabc079264
  Author: Pavol Mederly <mederly at evolveum.com>
  Date:   2018-07-02 (Mon, 02 Jul 2018)

  Changed paths:
    M dist/src/main/bin/midpoint.bat

  Log Message:
  -----------
  Add support for JAVA_HOME with spaces (MID-4732)

Note that JAVA_HOME should *not* be enclosed in quotes!
So

- legal: set JAVA_HOME=c:\java\jre 8
- illegal: set JAVA_HOME="c:\java\jre 8"

(cherry picked from commit eae4c13)



      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.