Examples of PushManager


Examples of net.gridshield.nexsm.mapper.pusher.PushManager

        _statusErrorsTypeDisplayed = new int[15];
        _codebase = null;
        _graphManager = new GraphManager();
        _getItemsScheduler = new Scheduler();
        _pullManager = new PullManager();
        _pushManager = new PushManager();
        _li = new LoggedInUser();
    }
View Full Code Here

Examples of org.locationtech.geogig.web.api.commands.PushManager

                    // Abort push
                    w.write("Push aborted for address: " + ipAddress
                            + ". The ref was changed during push.");
                    w.flush();
                } else {
                    PushManager pushManager = PushManager.get();
                    pushManager.connectionSucceeded(geogig, ipAddress, refspec, oid);
                    w.write("Push succeeded for address: " + ipAddress);
                    w.flush();
                }
            } catch (Exception e) {
                Throwables.propagateIfInstanceOf(e, IOException.class);
View Full Code Here

Examples of org.locationtech.geogig.web.api.commands.PushManager

            // make a combined ip address to handle requests from multiple machines in the same
            // external network.
            // e.g.: ext.ern.al.IP.int.ern.al.IP
            String ipAddress = info.getAddress() + "." + options.getFirstValue("internalIp", "");
            PushManager pushManager = PushManager.get();
            pushManager.connectionBegin(ipAddress);
            w.write("Push began for address: " + ipAddress);
            w.flush();
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.