Glorf.it

Glorf IT

Bedenkliches aus dem IT-Alltag

29. März 2007 um 21:25

Download auf die harte Tour

In unserer Firma wird Sicherheit sehr hoch geschrieben, deswegen hängen unsere Rechner auch nicht am Internet. Für die notwendigen Recherchen können wir auf einen WTS zugreifen, der im Internet hängt und dann dort surfen – allerdings nichts speichern. Das ist ja gerade der Schutz an dieser Maßnahme. Auch Mails aus dem Internet erreichen uns nur gefiltert und ohne Anhang.

Für kompliziertere Downloads haben wir dann eigenständige Internet-PCs, die nur im Internet hängen. Dann kann man Dinge downloaden und auf einen speziellen FTP-Server stellen. Dort wird es dann von den Kollegen der Virenprüfung abgeholt, entpackt und virell geprüft. Geht alles glatt, dann hat man die Software einige Zeit später am Arbeitsplatz zur Verfügung. In einfachen Fällen kann man ihnen auch einen Link schicken und sie laden die Datei dann sogar für einen runter.

Da es seit einiger Zeit von Microsoft ein Image mit Orca gibt, dem neuen Visual Studio, versuche ich nun schon seit letzter Woche die einzelnen Teile runter zu laden und bin fast am Ende.

Dazu muss man noch wissen, wie das bei uns läuft: Wir können nichts einfach so auf den Internet-PC speichern. Zunächst klickt man den Link auf die Datei an. Die Firewall erkennt, dass es sich nicht um eine HTML-Datei handelt und speichert die Datei auf einem speziellen Rechner auf dem das Ganze erst mal auf Viren geprüft wird. Bei großen Dateien dauert das ganz schon lange. Inzwischen aktualisiert sich die Webseite immer wieder, bis sie 100% anzeigt. Dann muss man die Datei recht flott speichern, weil sie nicht lange dort vorgehalten wird. Mein Verdacht liegt bei 15 – 30 Minuten.

Ein üblicher Ablauf sah die letzten Tage so aus:

  • Ich boote unseren Internet-Rechner im Nebenraum und klicke auf den Download einer der Dateien mit 700 bis 1300 MBytes Größe.
  • Ich stelle fest, dass alles prima läuft, aber vermutlich recht lange dauern wird. Deswegen gehe ich zurück an meinen Arbeitsplatz und rackere fleißig.
  • Wenn es gut läuft, dann denke ich daran alle 30-40 Minuten mal nachzusehen, wie es aussieht. Einzelne Dateien haben mehrere Stunden benötigt. Wenn ich daran denke nachzusehen, dann ist es meist noch lange nicht so weit. Vielleicht weil auf dem Server gerade viel los ist oder so.
  • Wenn ich hingegen auf eine Besprechung muss, Mittagessen gehe oder einfach im Stress bin, dann kann ich sicher sein, dass der Download plötzlich mit sagenhaftem Tempo fertig wird.
    Komme ich dann zurück und sehe erfreut die Meldung "Virenprüfung abgeschlossen, sie können die Datei jetzt speichern.", kommt die böse Überraschung: Ein Klick auf den Downloadlink vom Virenserver meldet "Die Datei steht nicht mehr zur Verfügung."

Gestern hätte ich den Monitor am liebsten aus dem Fenster geworfen, obwohl der ja nun überhaupt nichts dafür kann. Naja, genau genommen kann auch unser PC nichts dafür, deswegen konnte ich auch gerade noch an mich halten. Immerhin habe ich inzwischen allen Widrigkeiten zu Trotz schon 11 von 12 Dateien gespeichert. Jetzt fehlt nur noch das Basisimage mit 1300MBytes. Heute scheiterte der vierte Versuch …
🙁

Mal sehen wann ich sie endlich alle beisammen habe. 😉

Um es mit Madness zu sagen:
<jingle>
Tomorrow is just an other day…

</jingle>

29. März 2007 um 20:55

Keine Feeds mehr für Kategorien

Als ich die RSS-Feeds einführte, hatte ich noch nicht viele Kategorien in diesem Blog. Vermutlich fiel mir deswegen damals nicht auf, wie nervig es sein kann, wenn man den Feed einer Seite haben will und in lauter Feeds der Kategorien erstickt.

Weil mir das gerade heute mehrfach passierte als ich nach deutschsprachigen Weblogs zum Thema SQL suchte, habe ich die Links auf diese Feeds jetzt mal raus genommen. Falls das jemand vermisst, dann können wir noch mal drüber reden. Mein Verdacht ist, dass das sowieso niemanden stört. Die Kategorien kann man ja immer noch gezielt ansteuern…

29. März 2007 um 20:11

Spec# zum Download

Auf der Seite "Spec# for Visual Studio 2005" findet man jetzt Spec# zum Download. Gesprochen wird das "Speck-Sharp".

Auf obiger Seite wird kurz zusammengefasst, was Spec# ist:

Spec# is an experimental language that extends C# with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking, run-time checking, and a static verifier. This version of Spec# runs on .NET Framework version 2.

Wer mehr Infos haben will, der wird auf der Homepage von Spec# fündig. Dort ist auch ein Link zum Download für Visual Studio 2003, aber der ist derzeit tot.

|