I just noticed that the new fanlaunch.bat script doesn't honour any existing FAN_HOME environment variable, but instead replaces it with its containing directory.
This example tries to set FAN_HOME to Respect Me!:
C:\>set FAN_HOME=Respect Me!
Copyright (c) 2006-2013, Brian Frank and Andy Frank
Licensed under the Academic Free License version 3.0
java.vm.name: Java HotSpot(TM) 64-Bit Server VM
java.vm.vendor: Sun Microsystems Inc.
It is very useful being able to use FAN_HOME to switch Fantom environments, it shouldn't matter which script is being executed.
If you open fanlaunch.bat and change line 13 to
IF "%FAN_HOME%" == "" SET FAN_HOME=%~dp0%..
does that work for you?
Yep, that works for me!
Ticket promoted to #2528 and assigned to matthew
Ticket resolved in 1.0.69
Fixed fanlaunch.bat to not set FAN_HOME if it was already set by the environment.
Login or Signup to reply.