|
From: <jom...@us...> - 2008-04-09 19:05:14
|
Revision: 1210
http://jason.svn.sourceforge.net/jason/?rev=1210&view=rev
Author: jomifred
Date: 2008-04-09 12:05:06 -0700 (Wed, 09 Apr 2008)
Log Message:
-----------
fix bug in jar generation (windows)
Modified Paths:
--------------
trunk/build.xml
trunk/src/jason/asSemantics/Agent.java
trunk/src/jason/environment/grid/Location.java
Modified: trunk/build.xml
===================================================================
--- trunk/build.xml 2008-04-09 17:07:30 UTC (rev 1209)
+++ trunk/build.xml 2008-04-09 19:05:06 UTC (rev 1210)
@@ -15,7 +15,7 @@
<property name="dist.properties" value="${basedir}/bin/dist.properties" />
<property name="version" value="1" />
- <property name="release" value="1" />
+ <property name="release" value="1.1" />
<property name="distDir" value="${env.HOME}/tmp/x/Jason-${version}.${release}" />
<property name="distFile" value="${env.HOME}/Jason-${version}.${release}" />
Modified: trunk/src/jason/asSemantics/Agent.java
===================================================================
--- trunk/src/jason/asSemantics/Agent.java 2008-04-09 17:07:30 UTC (rev 1209)
+++ trunk/src/jason/asSemantics/Agent.java 2008-04-09 19:05:06 UTC (rev 1210)
@@ -131,6 +131,7 @@
if (asSrc.startsWith(Include.CRPrefix)) {
// loads the class from a jar file (for example)
+ asSrc = asSrc.replaceAll("\\\\", "/");
parseAS(Agent.class.getResource(asSrc.substring(Include.CRPrefix.length())).openStream());
} else {
// check whether source is an URL string
Modified: trunk/src/jason/environment/grid/Location.java
===================================================================
--- trunk/src/jason/environment/grid/Location.java 2008-04-09 17:07:30 UTC (rev 1209)
+++ trunk/src/jason/environment/grid/Location.java 2008-04-09 19:05:06 UTC (rev 1210)
@@ -1,7 +1,7 @@
package jason.environment.grid;
public final class Location {
- public final int x, y;
+ public int x, y;
public Location(int x, int y) {
this.x = x;
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|