Examples with "Push-Server" and their translation in Pools
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Push-Spiegel sollten direkt das Hauptarchiv per Push-Spiegel spiegeln (oder einen anderen Push-Server) und sie sollten das gesamte Debian-Archiv enthalten.
Mirrory push powinny być klientami głównego archiwum (albo innego serwera push) i powinny zawierać obraz lustrzany całego archiwum Debiana. Przeczytaj szczegółowy opis konfiguracji serwera metodą push.
Wir versenden die Push-ID später zusammen mit den an Sie gerichteten Push-Mitteilungen an den Push-Server, damit dieser die Mitteilung an den richtigen Empfänger, also an Ihr Gerät adressieren kann.
Następnie wysyłamy push ID razem ze skierowanymi do użytkownika wiadomościami push do serwera push, aby mógł on zaadresować wiadomość do właściwego odbiorcy, czyli urządzenia użytkownika.
Andere resultaten
Problem behoben, bei dem sich ein verwalteter Client mit einer DNS-IPv6-Adresse nach einer Push-Installation nicht beim Server registrieren konnte.
Rozwiązano problem, w którym zarządzany klient z adresem DNS IPv6 nie był w stanie zarejestrować się do serwera po instalacji zdalnej.
Diese Tool ermöglicht es, Git als ganz normalen Client für einen Subversion-Server zu benutzen, so dass Du alle lokalen Features von Git nutzen kanns und Deine Änderungen dann auf einen Subversion-Server pushen kannst, so als ob Du Subversion lokal nutzen würdest.
To narzędzie pozwala Ci na używanie Gita jak normalnego klienta do serwera Subversion, możesz więc używać wszystkich lokalnych funkcjonalności Gita, aby potem wypchnąć zmiany do Subversion, tak jakbyś używał go lokalnie.
Wenn Du im Flugzeug oder Zug ein wenig arbeiten willst, kannst Du problemlos Deine Arbeit committen und Deine Arbeit erst auf den Server pushen (hochladen), wenn Du wieder mit dem Internet verbunden bist.
Jeśli masz ochotę popracować w samolocie lub pociągu, możesz bez problemu zatwierdzać kolejne zmiany, by w momencie połączenia z siecią przesłać komplet zmian na serwer.
Wir überdachten verschiedene Möglichkeiten, dazu gehörten WebSockets, MQTT, Server Sent Events und HTTP/2 Server Push.
Mieliśmy na myśli kilka opcji, w tym WebSockets, MQTT, Server Sent Events i HTTP/2 Server Push.
Wenn Du und ein Kollege an dem gleichen Projekt arbeitet und ihr wollt etwas auschecken, dann ein Befehl wie git pull/home/john/project ist oft einfacher als das pushen zu einem externen Server und das pullen zurück. Die Nachteile
Jeśli działasz z kimś w tym samym projekcie i ktoś chce pokazać Ci swoje zmiany, wykonanie polecenia git pull/home/john/project jest często prostsze od czekania aż ktoś wypchnie zmiany na serwer, aby później je stamtąd pobrać. Wady
Wenn Du zugleich auf einen Git- und einen Subversion-Server pushen willst, solltest Du zunächst an den Subversion-Server pushen (dcommit), da diese Aktion Deine Commit-Daten verändert.
Jeżeli chcesz wypchnąć zmiany zarówno do serwera Git jak i Subversion, musisz najpierw wykonać dcommit do serwera Subversion, ponieważ ta akcja zmieni dane commitów.