Seite 1 von 1

4. praktische Übung

Verfasst: 21. Jan 2011 18:29
von Nathan Wasser
Die 4. praktische Übung ist online. Zum Lösen der Übung ist VeriFun 3.3 erforderlich. Dies kann auf der VeriFun Webseite oder direkt von der FGdI3 Webseite heruntergeladen werden.

Re: 4. praktische Übung

Verfasst: 21. Jan 2011 20:21
von xu43uhub
Hallo,

Unter GNU/Linux bekomme ich nach Ausführen des Installers folgende Fehlermeldung:

Code: Alles auswählen

$ ./vf3_3_unix.sh

gzip: sfx_archive.tar.gz: not in gzip format

I am sorry, but the installer file seems to be corrupted.
If you downloaded that file please try it again. If you
transfer that file with ftp please make sure that you are
using binary mode.
Laut gzip handelt es sich also bei dem Binärcode aus dem Skript vf3_3_unix.sh, aus welchem die Datei sfx_archive.tar.gz entsteht, nicht um ein gültiges gzip Format. Es wäre super, wenn mir hier jemand mit einem Fix oder Workaround helfen könnte, so dass ich auch Verifun 3.3 unter Linux laufen lassen kann. :-)

Re: 4. praktische Übung

Verfasst: 21. Jan 2011 21:58
von Echo
@xu43uhub: Das gleiche Problem hatte ich mit dem Download von der FGdI III Seite auch. Aber mit dem Download von der VeriFun Seite ging es :wink:

edit: btw: Die alte VeriFun Version am besten nicht deinstallieren, denn die neue Version scheint nicht abwärtskompatibel zu sein.

Re: 4. praktische Übung

Verfasst: 21. Jan 2011 22:09
von DanielSchoepe
Seltsamerweise funktioniert die Version, die man über die Verifun-Seite bekommt; die Version von der FGdI3-Seite aber nicht.

Edit: Voherigen Beitrag nicht gesehen.

Re: 4. praktische Übung

Verfasst: 21. Jan 2011 22:53
von JulM
irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade :(
Ist es denn schon auf den Poolrechnern installiert?

Re: 4. praktische Übung

Verfasst: 22. Jan 2011 11:46
von DanielSchoepe
JulM hat geschrieben:irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade :(
Ist es denn schon auf den Poolrechnern installiert?
Also bei mir funktioniert bei der Version von der Verifun-Seite immer noch das Rauspatchen der Überprüfung in der .sh-Datei (darauf achten, dass du deinen Editor daran hinderst am Ende eine newline anzufügen und auf binär schaltest).

Re: 4. praktische Übung

Verfasst: 22. Jan 2011 12:02
von key
Hi,
bei mir mit win7x64 schmiert der installer jedes mal ab. Ich habe alle möglichen Kompatibilitätsmodi probiert, aber die helfen nicht. Hat jemand nen ähnliches Problem. Am besten mit Lösung...

Re: 4. praktische Übung

Verfasst: 22. Jan 2011 14:13
von mheinrich
Wo ist denn dieser sh-Patch dokumentiert?

Ich habe JRE 1.5 installiert und ich bekomme immernoch:

Code: Alles auswählen

No suitable Java Virtual Machine could be found on your system.
The version of the JVM must be at least 1.5 and at most 1.5.
Please define INSTALL4J_JAVA_HOME to point to a suitable JVM.
You can also try to delete the JVM cache file /home/markus/.install4j
Meine .install4j

Code: Alles auswählen

JRE_VERSION	/usr	1	5	0	18
JRE_VERSION	/opt/VP_Suite5.0/jre	1	6	0	20
JRE_INFO	/opt/VP_Suite5.0/jre	0
JRE_VERSION	/usr	1	6	0	20
JRE_INFO	/usr	106
JRE_VERSION	/usr/java/jre1.5.0				0
JRE_INFO	/usr/java/jre1.5.0	0
JRE_VERSION	/usr/java/jre1.5.0_22				0
JRE_INFO	/usr/java/jre1.5.0_22	0
JRE_VERSION	/usr/lib/jvm/default-java	1	6	0	20
JRE_INFO	/usr/lib/jvm/default-java	106
JRE_VERSION	/usr/lib/jvm/java-1.6.0-openjdk	1	6	0	20
JRE_INFO	/usr/lib/jvm/java-1.6.0-openjdk	106
JRE_VERSION	/usr/lib/jvm/java-6-openjdk	1	6	0	20
JRE_INFO	/usr/lib/jvm/java-6-openjdk	106
INSTALL4J_JAVA_HOME	/usr/java/jre1.5.0_22 0
Bitte um Hilfe.

Danke,
Markus

Re: 4. praktische Übung

Verfasst: 22. Jan 2011 22:24
von tobiwan
Installation war kein Problem, musste es jedoch in der Konsole installieren,da ich nen blöden Fehler erhalte.
Zudem lässt sich Verifun3.3 deswegen nicht starten.
Seltsamerweise ging alles mit 3.2.2....

Code: Alles auswählen

~/VeriFun/VeriFun_3.3$ ./VeriFun3.3
Runtime link error - it appears that libXt got loaded before libXm,
which is not allowed.
Hängt wohl mit Compiz zusammen (laut Google).

@mheinrich: Hast du die jvm "richtig" installiert oder nur entpackt? Schau mal, ob sie unter "sudo update-java-alternatives -l" auftaucht... Dann einfach mit "sudo update-java-alternatives -s java-1.5.0-sun" auf java 5 umstellen und Verifun installieren.

Re: 4. praktische Übung

Verfasst: 24. Jan 2011 10:47
von Nathan Wasser
Das Problem beim Herunterladen der Unix Datei von der FGdI3 Webseite ist behoben.

Sowohl VeriFun 3.3 als auch VeriFun 3.2.2 sind auf den Poolrechnern installiert. Mit "verifun" startet man 3.3, mit "verifun322" startet man 3.2.2.

Re: 4. praktische Übung

Verfasst: 25. Jan 2011 21:40
von Sushi
Ich hab unter Windows 7 (64 Bit) auch das Problem das sich das Programm nicht installieren lässt. Wenn ich die Installation starten will lädt der Balken des Wizards zu ca. 80%, bleibt stehen und es erscheint eine error.log:

Code: Alles auswählen

Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at java.awt.Window.show(Unknown Source)
	at java.awt.Component.show(Unknown Source)
	at java.awt.Component.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.showFrame(Unknown Source)
	at com.install4j.runtime.installer.frontend.WizardScreenExecutor.execute(Unknown Source)
	at com.install4j.runtime.installer.controller.Controller$1.run(Unknown Source)
	at java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at com.install4j.runtime.wizard.StandardScreen$1.componentResized(Unknown Source)
	at java.awt.Component.processComponentEvent(Unknown Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(Unknown Source)
	at java.awt.Component.dispatchEventImpl(Unknown Source)
	at java.awt.Container.dispatchEventImpl(Unknown Source)
	at java.awt.Component.dispatchEvent(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)

Re: 4. praktische Übung

Verfasst: 27. Jan 2011 14:22
von niewhner
Sushi hat geschrieben:Ich hab unter Windows 7 (64 Bit) auch das Problem das sich das Programm nicht installieren lässt. Wenn ich die Installation starten will lädt der Balken des Wizards zu ca. 80%, bleibt stehen und es erscheint eine error.log:

Code: Alles auswählen

Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at java.awt.Window.show(Unknown Source)
	at java.awt.Component.show(Unknown Source)
	at java.awt.Component.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.showFrame(Unknown Source)
	at com.install4j.runtime.installer.frontend.WizardScreenExecutor.execute(Unknown Source)
	at com.install4j.runtime.installer.controller.Controller$1.run(Unknown Source)
	at java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at com.install4j.runtime.wizard.StandardScreen$1.componentResized(Unknown Source)
	at java.awt.Component.processComponentEvent(Unknown Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(Unknown Source)
	at java.awt.Component.dispatchEventImpl(Unknown Source)
	at java.awt.Container.dispatchEventImpl(Unknown Source)
	at java.awt.Component.dispatchEvent(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)

Gleiches Problem unter Win7 32bit, konntest du den Fehler beheben?

Re: 4. praktische Übung

Verfasst: 27. Jan 2011 15:00
von Nathan Wasser
Hattet Ihr diese Probleme schon bei der Installation von VeriFun 3.2.2?

Re: 4. praktische Übung

Verfasst: 27. Jan 2011 15:21
von niewhner
Nathan Wasser hat geschrieben:Hattet Ihr diese Probleme schon bei der Installation von VeriFun 3.2.2?
Nein

Re: 4. praktische Übung

Verfasst: 27. Jan 2011 15:47
von Sushi
Ich hab es durch eine Neuinstallation von Java gelöst.