87 |
target = new BlockId(argv[3]); |
target = new BlockId(argv[3]); |
88 |
} |
} |
89 |
|
|
90 |
|
String name = System.getProperty("setpointer.name"); |
91 |
|
if(argv.length > 4) |
92 |
|
name = argv[4]; |
93 |
|
|
94 |
PointerIndex idx = (PointerIndex)pool.getIndex(PointerIndex.uri); |
PointerIndex idx = (PointerIndex)pool.getIndex(PointerIndex.uri); |
95 |
idx.set(pointer, target, keys); |
idx.set(pointer, target, keys, name); |
96 |
|
|
97 |
System.out.println("Set pointer"); |
System.out.println("Set pointer"); |
98 |
System.out.println(pointer); |
System.out.println(pointer); |