35 |
|
|
36 |
public class SetPointer { |
public class SetPointer { |
37 |
|
|
38 |
/** Usage is SetPointer keyfile pool [pointer] target. |
/** Usage is SetPointer keyfile [pool [pointer] target]. |
39 |
* If no pointer is given, a new one is generated. |
* If no pointer is given, a new one is generated. |
40 |
* If the key file doesn't exist, it's created. |
* If the key file doesn't exist, it's created. |
41 |
*/ |
*/ |
59 |
out.close(); |
out.close(); |
60 |
} |
} |
61 |
|
|
62 |
|
if(argv.length == 1) { |
63 |
|
PointerId pointer = new PointerId(keys.getPublic()); |
64 |
|
System.out.println("Pointer created:"); |
65 |
|
System.out.println(pointer); |
66 |
|
System.exit(0); |
67 |
|
} |
68 |
|
|
69 |
Set indexTypes = Collections.singleton(PointerIndex.type); |
Set indexTypes = Collections.singleton(PointerIndex.type); |
70 |
IndexedPool pool = |
IndexedPool pool = |
71 |
new DirPool(new File(argv[1]), indexTypes); |
new DirPool(new File(argv[1]), indexTypes); |