📅 (2022-03-10 06:33:29 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq dev Formal proof management system dune 3.0.3 Fast, portable, and opinionated build system ocaml 4.08.1 The OCaml compiler (virtual package) ocaml-base-compiler 4.08.1 Official release 4.08.1 ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" maintainer: "The UniMath Development Team" homepage: "https://github.com/UniMath/UniMath" dev-repo: "git+https://github.com/UniMath/UniMath.git" bug-reports: "https://github.com/UniMath/UniMath/issues" license: "Kind of MIT" authors: ["The UniMath Development Team"] build: [make "BUILD_COQ=no" "-j%{jobs}%"] install: [make "BUILD_COQ=no" "install"] depends: [ "ocaml" "coq" {>= "8.12.2"} ] synopsis: "Library of Univalent Mathematics" url { src: "https://github.com/UniMath/UniMath/archive/refs/tags/v20220204.tar.gz" checksum: "sha512=aaa47633d5d5e0abcae4ec422f3664e0c84ebb5054150323c04c3def81f13fb32efddb012d393d709140915a6e58d602290e312c6d24950c0a7dc3aafcad8b76" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-unimath.20220204 coq.dev
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-unimath.20220204 coq.dev
opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-unimath.20220204 coq.dev
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq dev Formal proof management system dune 3.0.3 Fast, portable, and opinionated build system ocaml 4.08.1 The OCaml compiler (virtual package) ocaml-base-compiler 4.08.1 Official release 4.08.1 ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers [NOTE] Package coq is already installed (current version is dev). The following actions will be performed: - install coq-unimath 20220204 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/1: [coq-unimath.20220204: http] [coq-unimath.20220204] downloaded from https://github.com/UniMath/UniMath/archive/refs/tags/v20220204.tar.gz Processing 1/1: <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/2: [coq-unimath: make] + /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "make" "BUILD_COQ=no" "-j4" (CWD=/home/bench/.opam/ocaml-base-compiler.4.08.1/.opam-switch/build/coq-unimath.20220204) - make: command: Command not found - --- making .coq_makefile_input - coq_makefile -f .coq_makefile_input -o .coq_makefile_output - mv .coq_makefile_output build/CoqMakefile.make - make: command: Command not found - --- making UniMath/Foundations/All.v - --- making UniMath/MoreFoundations/All.v - --- making UniMath/Combinatorics/All.v - --- making UniMath/Algebra/All.v - --- making UniMath/NumberSystems/All.v - --- making UniMath/SyntheticHomotopyTheory/All.v - --- making UniMath/PAdics/All.v - --- making UniMath/CategoryTheory/All.v - --- making UniMath/Bicategories/All.v - --- making UniMath/Ktheory/All.v - --- making UniMath/Topology/All.v - --- making UniMath/RealNumbers/All.v - --- making UniMath/Tactics/All.v - --- making UniMath/SubstitutionSystems/All.v - --- making UniMath/Folds/All.v - --- making UniMath/HomologicalAlgebra/All.v - --- making UniMath/AlgebraicGeometry/All.v - --- making UniMath/Paradoxes/All.v - --- making UniMath/Induction/All.v - --- making UniMath/All.v - ulimit -v unlimited ; make -f build/CoqMakefile.make all - make[1]: Entering directory '/home/bench/.opam/ocaml-base-compiler.4.08.1/.opam-switch/build/coq-unimath.20220204' - COQDEP VFILES - COQC UniMath/Foundations/Init.v - COQC UniMath/Folds/aux_lemmas.v - File "./UniMath/Foundations/Init.v", line 199, characters 0-32: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - COQC UniMath/Foundations/Preamble.v - File "./UniMath/Foundations/Preamble.v", line 141, characters 0-32: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - COQC UniMath/Foundations/PartA.v - File "./UniMath/Foundations/PartA.v", line 350, characters 0-38: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/PartA.v", line 350, characters 0-38: - Warning: Declaring arbitrary terms as hints is fragile; it is recommended to - declare a toplevel constant instead [fragile-hint-constr,automation] - File "./UniMath/Foundations/PartA.v", line 375, characters 0-37: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/PartA.v", line 375, characters 0-37: - Warning: Declaring arbitrary terms as hints is fragile; it is recommended to - declare a toplevel constant instead [fragile-hint-constr,automation] - COQC UniMath/Foundations/PartB.v - COQC UniMath/MoreFoundations/WeakEquivalences.v - COQC UniMath/Foundations/UnivalenceAxiom.v - COQC UniMath/Combinatorics/DecSet.v - COQC UniMath/Foundations/PartC.v - COQC UniMath/Foundations/PartD.v - COQC UniMath/Combinatorics/Maybe.v - COQC UniMath/Foundations/UnivalenceAxiom2.v - COQC UniMath/Foundations/Propositions.v - COQC UniMath/Foundations/Sets.v - COQC UniMath/Foundations/HLevels.v - COQC UniMath/Folds/UnicodeNotations.v - COQC UniMath/Foundations/NaturalNumbers.v - COQC UniMath/Foundations/Tests.v - COQC UniMath/MoreFoundations/Bool.v - COQC UniMath/Algebra/BinaryOperations.v - COQC UniMath/Tactics/Utilities.v - COQC UniMath/Folds/folds_precat.v - COQC UniMath/Folds/folds_pre_2_cat.v - File "./UniMath/Foundations/NaturalNumbers.v", line 804, characters 0-33: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 813, characters 0-35: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 814, characters 0-34: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 829, characters 0-36: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", line 837, characters 0-37: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - COQC UniMath/MoreFoundations/Test.v - File "./UniMath/Foundations/NaturalNumbers.v", line 1625, characters 0-34: - Warning: The default value for hint locality is currently "local" in a - section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding hints outside of sections without - specifying an explicit locality attribute is therefore deprecated. It is - recommended to use "export" whenever possible. Use the attributes #[local], - #[global] and #[export] depending on your choice. For example: "#[export] - Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] - File "./UniMath/Foundations/NaturalNumbers.v", [...] truncated ng: - New coercion path [adjunction_of_right_adjoint_over_id_data; left_adj_over_id] : right_adjoint_over_id_data >-> disp_functor is ambiguous with existing - [functor_of_right_adjoint_over_id] : right_adjoint_over_id_data >-> disp_functor. - [ambiguous-paths,typechecker] - COQC UniMath/CategoryTheory/categories/Universal_Algebra/Algebras.v - COQC UniMath/CategoryTheory/Monoidal/DisplayedMonoidal.v - COQC UniMath/Bicategories/Core/Examples/FibSlice.v - COQC UniMath/Bicategories/DisplayedBicats/FiberCategory.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Sigma.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/DisplayedCatToBicat.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Slice.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Sub1Cell.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Prod.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Trivial.v - COQC UniMath/Bicategories/MonoidalCategories/ActionBasedStrongFunctorsMonoidal.v - COQC UniMath/Bicategories/MonoidalCategories/ActionBasedStrongFunctorCategory.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Map2Cells.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Identitor.v - COQC UniMath/Bicategories/PseudoFunctors/Display/Compositor.v - COQC UniMath/Bicategories/PseudoFunctors/Display/StrictIdentitor.v - COQC UniMath/Bicategories/PseudoFunctors/Display/StrictCompositor.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Cofunctormap.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Codomain.v - COQC UniMath/Bicategories/Discreteness.v - COQC UniMath/SubstitutionSystems/BinSumOfSignatures.v - COQC UniMath/SubstitutionSystems/SumOfSignatures.v - COQC UniMath/SubstitutionSystems/BinProductOfSignatures.v - COQC UniMath/SubstitutionSystems/SubstitutionSystems.v - COQC UniMath/SubstitutionSystems/SignatureExamples.v - COQC UniMath/SubstitutionSystems/SignatureCategory.v - COQC UniMath/HomologicalAlgebra/MappingCylinder.v - COQC UniMath/HomologicalAlgebra/KAPreTriangulated.v - COQC UniMath/CategoryTheory/DisplayedCats/Examples.v - COQC UniMath/CategoryTheory/categories/Universal_Algebra/EqAlgebras.v - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory/FiberBicategory1.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/FullSub.v - COQC UniMath/Bicategories/MonoidalCategories/ActionsFormBicategory.v - COQC UniMath/Bicategories/Core/Examples/Groupoids.v - COQC UniMath/Bicategories/PseudoFunctors/Display/PseudoFunctorBicat.v - COQC UniMath/Bicategories/PseudoFunctors/Display/StrictPseudoFunctorBicat.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/CwF.v - COQC UniMath/Bicategories/Colimits/Pullback.v - COQC UniMath/SubstitutionSystems/MonadsFromSubstitutionSystems.v - COQC UniMath/SubstitutionSystems/LiftingInitial.v - COQC UniMath/SubstitutionSystems/LiftingInitial_alt.v - COQC UniMath/SubstitutionSystems/LamSignature.v - COQC UniMath/SubstitutionSystems/ActionBasedStrengthOnHomsInBicat.v - COQC UniMath/HomologicalAlgebra/KATriangulated.v - COQC UniMath/CategoryTheory/All.v - File "./UniMath/CategoryTheory/All.v", line 183, characters 0-65: - Warning: - New coercion path [adjunction_of_right_adjoint_over_id_data; left_adj_over_id] : right_adjoint_over_id_data >-> disp_functor is ambiguous with existing - [functor_of_right_adjoint_over_id] : right_adjoint_over_id_data >-> disp_functor. - [ambiguous-paths,typechecker] - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory/FiberBicategory2.v - Finished transaction in 131.879 secs (12.992u,0.019s) (successful) - COQC UniMath/Bicategories/DisplayedBicats/Examples/DispBicatOfDispCats.v - COQC UniMath/Bicategories/PseudoFunctors/PseudoFunctor.v - Finished transaction in 926.21 secs (91.95u,0.058s) (successful) - COQC UniMath/Bicategories/PseudoFunctors/StrictPseudoFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Identity.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Composition.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Constant.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/ApFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/OpFunctor.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/PseudofunctorFromMonoidal.v - COQC UniMath/Bicategories/Transformations/PseudoTransformation.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/DisplayedInserter.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Algebras.v - COQC UniMath/Bicategories/DisplayedBicats/DispPseudofunctor.v - COQC UniMath/Bicategories/Core/Examples/Image.v - COQC UniMath/Bicategories/Colimits/PullbackFunctions.v - COQC UniMath/Bicategories/Core/InternalStreetFibration.v - COQC UniMath/Bicategories/DisplayedBicats/ExamplesOfCleavings/DomainCleaving.v - COQC UniMath/Bicategories/DisplayedBicats/ExamplesOfCleavings/FibrationCleaving.v - COQC UniMath/Bicategories/DisplayedBicats/ExamplesOfCleavings/OpFibrationCleaving.v - COQC UniMath/SubstitutionSystems/ModulesFromSignatures.v - COQC UniMath/SubstitutionSystems/Lam.v - COQC UniMath/SubstitutionSystems/LamHSET.v - COQC UniMath/SubstitutionSystems/BindingSigToMonad.v - COQC UniMath/SubstitutionSystems/MonadicSubstitution_alt.v - COQC UniMath/HomologicalAlgebra/All.v - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory.v - COQC UniMath/Bicategories/Transformations/Examples/Whiskering.v - COQC UniMath/Bicategories/Transformations/Examples/Unitality.v - COQC UniMath/Bicategories/Transformations/Examples/Associativity.v - COQC UniMath/Bicategories/Transformations/Examples/ApTransformation.v - COQC UniMath/Bicategories/Modifications/Modification.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Displayed2Inserter.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/CorestrictImage.v - COQC UniMath/Bicategories/PseudoFunctors/PseudoFunctorLimits.v - COQC UniMath/Bicategories/Core/InternalStreetOpFibration.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Reindexing.v - COQC UniMath/SubstitutionSystems/SubstitutionSystems_Summary.v - COQC UniMath/SubstitutionSystems/LamFromBindingSig.v - COQC UniMath/SubstitutionSystems/MLTT79.v - COQC UniMath/SubstitutionSystems/FromBindingSigsToMonads_Summary.v - COQC UniMath/SubstitutionSystems/MultiSorted.v - COQC UniMath/SubstitutionSystems/MultiSorted_alt.v - COQC UniMath/SubstitutionSystems/STLC.v - COQC UniMath/SubstitutionSystems/STLC_alt.v - COQC UniMath/SubstitutionSystems/CCS.v - COQC UniMath/SubstitutionSystems/CCS_alt.v - COQC UniMath/SubstitutionSystems/PCF_alt.v - COQC UniMath/Bicategories/Modifications/Examples/ApModification.v - COQC UniMath/Bicategories/Modifications/Examples/Unitality.v - COQC UniMath/Bicategories/Modifications/Examples/Associativity.v - COQC UniMath/Bicategories/PseudoFunctors/Representable.v - COQC UniMath/Bicategories/PseudoFunctors/Biequivalence.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/StrictToPseudo.v - COQC UniMath/Bicategories/DisplayedBicats/DispTransformation.v - COQC UniMath/Bicategories/PseudoFunctors/Biadjunction.v - COQC UniMath/Bicategories/DisplayedBicats/ExamplesOfCleavings/CodomainCleaving.v - COQC UniMath/SubstitutionSystems/All.v - COQC UniMath/Bicategories/PseudoFunctors/Yoneda.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Projection.v - COQC UniMath/Bicategories/Core/YonedaLemma.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/CurryingInBicatOfCats.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/PathGroupoid.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/Strictify.v - COQC UniMath/Bicategories/DisplayedBicats/Cartesians.v - COQC UniMath/Bicategories/DisplayedBicats/EquivalenceBetweenCartesians.v - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory/CodomainFiber.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Add2Cell.v - COQC UniMath/Bicategories/Transformations/Examples/AlgebraMap.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/Monads.v - COQC UniMath/Bicategories/DisplayedBicats/CartesianPseudoFunctor.v - COQC UniMath/Bicategories/DisplayedBicats/ExamplesOfCleavings/TrivialCleaving.v - COQC UniMath/Bicategories/DisplayMapBicat.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/DisplayMapBicatToDispBicat.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/DisplayMapBicatSlice.v - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory/TrivialFiber.v - COQC UniMath/Bicategories/PseudoFunctors/Examples/PullbackFunctor.v - COQC UniMath/Bicategories/DisplayedBicats/DispModification.v - COQC UniMath/Bicategories/DisplayedBicats/ExamplesOfCleavings/DisplayMapBicatCleaving.v - COQC UniMath/Bicategories/DisplayedBicats/DispBiequivalence.v - COQC UniMath/Bicategories/DisplayedBicats/DispBiadjunction.v - COQC UniMath/Bicategories/DisplayedBicats/DispBuilders.v - COQC UniMath/Bicategories/DisplayedBicats/FiberBicategory/DisplayMapFiber.v - COQC UniMath/Bicategories/ComprehensionBicat.v - COQC UniMath/Bicategories/DisplayedBicats/DispToFiberEquivalence.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/MonadKtripleBiequiv.v - COQC UniMath/Bicategories/DisplayedBicats/Examples/PointedGroupoid.v - COQC UniMath/Bicategories/All.v - COQC UniMath/All.v - File "./UniMath/All.v", line 4, characters 0-41: - Warning: - New coercion path [underlyingFiniteSet; FiniteSet_to_hSet] : FiniteOrderedSet >-> hSet is ambiguous with existing - [underlyingOrderedSet; OrderedSets.underlyingPoset; carrierofposet] : FiniteOrderedSet >-> hSet. - [ambiguous-paths,typechecker] - File "./UniMath/All.v", line 5, characters 0-35: - Warning: - New coercion path [Chain_of_Chain_hsubtype; chain_family] : Chain_hsubtype >-> Funclass is ambiguous with existing - [pr1_Chain_hsubtype; id_hsubtype] : Chain_hsubtype >-> Funclass. - [ambiguous-paths,typechecker] - File "./UniMath/All.v", line 5, characters 0-35: - Warning: - New coercion path [Directed_of_Directed_hsubtype; directed_family] : Directed_hsubtype >-> Funclass is ambiguous with existing - [pr1_Directed_hsubtype; id_hsubtype] : Directed_hsubtype >-> Funclass. - [ambiguous-paths,typechecker] The middle of the output is truncated (maximum 20000 characters)
No files were installed.
true


Delete Account
If this were a real enrollment process, the name, DOB, address, email and membership number and any other shared identity idenity would be confirmed to match information in the existing database. When the user confirms, the A2P3 Directed Identifier would be linked to the existing database and the user would be able authorize apps to access their their membership status and membership number.
Please set a ficticious value to simulate a membership number.
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.


|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Bean interface for all types of feeds.
It handles all RSS versions and Atom 0.3, it normalizes all info, it may lose information.
| Method Summary | |
java.lang.Object |
clone()
Creates a deep clone of the object. |
WireFeed |
createWireFeed()
Creates a real feed containing the information of the SyndFeedImpl. |
WireFeed |
createWireFeed(java.lang.String feedType)
Creates a real feed containing the information of the SyndFeedImpl. |
java.lang.String |
getAuthor()
Returns the name of the first feed author in the collection of authors. |
java.util.List |
getAuthors()
Returns the feed authors. |
java.util.List |
getCategories()
Returns the feed categories. |
java.util.List |
getContributors()
Returns the feed author. |
java.lang.String |
getCopyright()
Returns the feed copyright. |
java.lang.String |
getDescription()
Returns the feed description. |
SyndContent |
getDescriptionEx()
Returns the feed description as a text construct. |
java.lang.String |
getEncoding()
Returns the charset encoding of a the feed. |
java.util.List |
getEntries()
Returns the feed entries. |
java.lang.String |
getFeedType()
Returns the wire feed type the feed had/will-have when coverted from/to a WireFeed. |
java.lang.Object |
getForeignMarkup()
Returns foreign markup found at channel level. |
SyndImage |
getImage()
Returns the feed image. |
java.lang.String |
getLanguage()
Returns the feed language. |
java.lang.String |
getLink()
Returns the feed link. |
java.util.List |
getLinks()
Returns the entry links |
Module |
getModule(java.lang.String uri)
Returns the module identified by a given URI. |
java.util.List |
getModules()
Returns the feed modules. |
java.util.Date |
getPublishedDate()
Returns the feed published date. |
java.util.List |
getSupportedFeedTypes()
Returns the real feed types the SyndFeedImpl supports when converting from and to. |
java.lang.String |
getTitle()
Returns the feed title. |
SyndContent |
getTitleEx()
Returns the feed title. |
java.lang.String |
getUri()
Returns the feed URI. |
void |
setAuthor(java.lang.String author)
Sets the feed author. |
void |
setAuthors(java.util.List authors)
Sets the feed author. |
void |
setCategories(java.util.List categories)
Sets the feed categories. |
void |
setContributors(java.util.List contributors)
Sets the feed author. |
void |
setCopyright(java.lang.String copyright)
Sets the feed copyright. |
void |
setDescription(java.lang.String description)
Sets the feed description. |
void |
setDescriptionEx(SyndContent description)
Sets the feed description as a text construct. |
void |
setEncoding(java.lang.String encoding)
Sets the charset encoding of a the feed. |
void |
setEntries(java.util.List entries)
Sets the feed entries. |
void |
setFeedType(java.lang.String feedType)
Sets the wire feed type the feed will-have when coverted to a WireFeed. |
void |
setForeignMarkup(java.lang.Object foreignMarkup)
Sets foreign markup found at channel level. |
void |
setImage(SyndImage image)
Sets the feed image. |
void |
setLanguage(java.lang.String language)
Sets the feed language. |
void |
setLink(java.lang.String link)
Sets the feed link. |
void |
setLinks(java.util.List links)
Sets the entry links. |
void |
setModules(java.util.List modules)
Sets the feed modules. |
void |
setPublishedDate(java.util.Date publishedDate)
Sets the feed published date. |
void |
setTitle(java.lang.String title)
Sets the feed title. |
void |
setTitleEx(SyndContent title)
Sets the feed title. |
void |
setUri(java.lang.String uri)
Sets the feed URI. |
| Methods inherited from interface com.sun.syndication.feed.CopyFrom |
copyFrom, getInterface |
| Method Detail |
public java.util.List getSupportedFeedTypes()
public WireFeed createWireFeed()
The feed type of the created WireFeed is taken from the SyndFeedImpl feedType property.
public WireFeed createWireFeed(java.lang.String feedType)
feedType
- the feed type for the WireFeed to be created.
public java.lang.String getFeedType()
public void setFeedType(java.lang.String feedType)
feedType
- the feed type to set, null if none.public java.lang.String getEncoding()
public void setEncoding(java.lang.String encoding)
encoding
- the charset encoding of the feed.public java.lang.String getUri()
How the feed URI maps to a concrete feed type (RSS or Atom) depends on the concrete feed type. This is explained in detail in Rome documentation, Feed and entry URI mapping.
The returned URI is a normalized URI as specified in RFC 2396bis.
Note: The URI is the unique identifier, in the RSS 2.0/atom case this is the GUID, for RSS 1.0 this is the URI attribute of the item. The Link is the URL that the item is accessible under, the URI is the permanent identifier which the aggregator should use to reference this item. Often the URI will use some standardized identifier scheme such as DOI's so that items can be identified even if they appear in multiple feeds with different "links" (they might be on different hosting platforms but be the same item). Also, though rare, there could be multiple items with the same link but a different URI and associated metadata which need to be treated as distinct entities. In the RSS 1.0 case the URI must be a valid RDF URI reference.
public void setUri(java.lang.String uri)
How the feed URI maps to a concrete feed type (RSS or Atom) depends on the concrete feed type. This is explained in detail in Rome documentation, Feed and entry URI mapping.
Note: The URI is the unique identifier, in the RSS 2.0/atom case this is the GUID, for RSS 1.0 this is the URI attribute of the item. The Link is the URL that the item is accessible under, the URI is the permanent identifier which the aggregator should use to reference this item. Often the URI will use some standardized identifier scheme such as DOI's so that items can be identified even if they appear in multiple feeds with different "links" (they might be on different hosting platforms but be the same item). Also, though rare, there could be multiple items with the same link but a different URI and associated metadata which need to be treated as distinct entities. In the RSS 1.0 case the URI must be a valid RDF URI reference.
uri
- the feed URI to set, null if none.public java.lang.String getTitle()
public void setTitle(java.lang.String title)
title
- the feed title to set, null if none.public SyndContent getTitleEx()
public void setTitleEx(SyndContent title)
title
- the feed title to set, null if none.public java.lang.String getLink()
Note: The URI is the unique identifier, in the RSS 2.0/atom case this is the GUID, for RSS 1.0 this is the URI attribute of the item. The Link is the URL that the item is accessible under, the URI is the permanent identifier which the aggregator should use to reference this item. Often the URI will use some standardized identifier scheme such as DOI's so that items can be identified even if they appear in multiple feeds with different "links" (they might be on different hosting platforms but be the same item). Also, though rare, there could be multiple items with the same link but a different URI and associated metadata which need to be treated as distinct entities. In the RSS 1.0 case the URI must be a valid RDF URI reference.
public void setLink(java.lang.String link)
Note: The URI is the unique identifier, in the RSS 2.0/atom case this is the GUID, for RSS 1.0 this is the URI attribute of the item. The Link is the URL that the item is accessible under, the URI is the permanent identifier which the aggregator should use to reference this item. Often the URI will use some standardized identifier scheme such as DOI's so that items can be identified even if they appear in multiple feeds with different "links" (they might be on different hosting platforms but be the same item). Also, though rare, there could be multiple items with the same link but a different URI and associated metadata which need to be treated as distinct entities. In the RSS 1.0 case the URI must be a valid RDF URI reference.
link
- the feed link to set, null if none.public java.util.List getLinks()
public void setLinks(java.util.List links)
links
- the entry links to set, null if none.public java.lang.String getDescription()
public void setDescription(java.lang.String description)
description
- the feed description to set, null if none.public SyndContent getDescriptionEx()
public void setDescriptionEx(SyndContent description)
description
- the feed description to set, null if none.public java.util.Date getPublishedDate()
This method is a convenience method, it maps to the Dublin Core module date.
public void setPublishedDate(java.util.Date publishedDate)
This method is a convenience method, it maps to the Dublin Core module date.
publishedDate
- the feed published date to set, null if none.public java.util.List getAuthors()
For Atom feeds, this returns the authors as a list of SyndPerson objects, for RSS feeds this method is a convenience method, it maps to the Dublin Core module creator.
public void setAuthors(java.util.List authors)
For Atom feeds, this sets the authors as a list of SyndPerson objects, for RSS feeds this method is a convenience method, it maps to the Dublin Core module creator.
public java.lang.String getAuthor()
For Atom feeds, this returns the authors as a list of SyndPerson objects, for RSS feeds this method is a convenience method, it maps to the Dublin Core module creator.
public void setAuthor(java.lang.String author)
For Atom feeds, this sets the feed author's name, for RSS feeds this method is a convenience method, it maps to the Dublin Core module creator.
author
- the feed author to set, null if none.public java.util.List getContributors()
For Atom feeds, this returns the contributors as a list of SyndPerson objects
public void setContributors(java.util.List contributors)
Returns contributors as a list of SyndPerson objects.
public java.lang.String getCopyright()
This method is a convenience method, it maps to the Dublin Core module rights.
public void setCopyright(java.lang.String copyright)
This method is a convenience method, it maps to the Dublin Core module rights.
copyright
- the feed copyright to set, null if none.public SyndImage getImage()
public void setImage(SyndImage image)
image
- the feed image to set, null if none.public java.util.List getCategories()
This method is a convenience method, it maps to the Dublin Core module subjects.
public void setCategories(java.util.List categories)
This method is a convenience method, it maps to the Dublin Core module subjects.
categories
- the list of SyndCategoryImpl elements with the feed categories to set,
an empty list or null if none.public java.util.List getEntries()
public void setEntries(java.util.List entries)
entries
- the list of SyndEntryImpl elements with the feed entries to set,
an empty list or null if none.public java.lang.String getLanguage()
This method is a convenience method, it maps to the Dublin Core module language.
public void setLanguage(java.lang.String language)
This method is a convenience method, it maps to the Dublin Core module language.
language
- the feed language to set, null if none.public Module getModule(java.lang.String uri)
getModule
in interface Extendable
uri
- the URI of the ModuleImpl.
public java.util.List getModules()
getModules
in interface Extendable
public void setModules(java.util.List modules)
setModules
in interface Extendable
modules
- the list of ModuleImpl elements with the feed modules to set,
an empty list or null if none.public java.lang.Object getForeignMarkup()
public void setForeignMarkup(java.lang.Object foreignMarkup)
foreignMarkup
- Opaque object to discourage usepublic java.lang.Object clone() throws java.lang.CloneNotSupportedException
java.lang.CloneNotSupportedException
- thrown if an element of the object cannot be cloned.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


Your Repo Details
Owner Name:
Repo Name:
File Name:
Access Token:
To get Access Token : Profile -> Settings -> Developr Settings ->Personal access tokens
Access Token should be given permission with read/write repos.
* All fields are required
Save Changes
Clear


The taboo breaking 'President of Ireland': The huge reaction the Late Late's Gay Byrne tribute
by By Steve NevilleThe Late Late Show's tribute to Gay Byrne has been met with praise and deemed worthy of the legendary broadcaster.
From Mike Murphy to Tommy Tiernan, a host of stars turned out for the one off celebration of Mr Byrne's life.
President Micahel D Higgins opened the tributes saying Mr Byrne was a modern man who, in the 1960s, identified that “aspects of modernity were gradually making their way in” to the country, and he used this to define the conversation.
Former president Mary McAleese said Mr Bryne would have made a great Uachtarán na hÉireann before it was claimed he "was President of Ireland anyway".
From talking about sex, condoms and homosexuality, Mr Byrne's taboo breaking was also praised.
The show highlight some of the controversial issues that My Byrne took on as Late Late host.
Tommy Tiernan's moving tribute was also praised by viewers, with the comedian saying Mr Byrne's TV and radio shows brought Ireland together "as a tribe."
"I think we enjoyed Gay Byrne's familiarity"
A trad super group took shape on the night to play and sing The Parting Glass. The musicians featured Sharon Shannon, Donal Lunny, Mary Black, Mary Coughlan, Finbar Furey and John Sheahan of The Dubliners.
A number of familiar faces who couldn't be in studio - including Brendan O'Carroll, Michael Flately and Dara O'Briain - paid tribute from afar.
To whom it may concern, rest in peace Gay.
READ MORE
'To whom it concerns...' The Late Late's Gay Byrne tribute opened with a wave of nostalgia


for support email<EMAIL_ADDRESS>and for more support go to our support page to find common question's.


| Package | com.whirled.contrib.card |
| Class | public class Hand |
| Inheritance | Hand flash.events.EventDispatcher |
| Property | Defined by | ||
|---|---|---|---|
| cards : CardArray
[read-only] Access the underlying array of cards.
| Hand | ||
| hasPlayed : Boolean [read-only] Access whether or not some cards have been selected since the last call to beginTurn.
| Hand | ||
| isPassing : Boolean [read-only] Access whether the local player is currently passing.
| Hand | ||
| length : int [read-only] Access the number of cards in the hand.
| Hand | ||
| passCount : int [read-only] Access the numr of cards requested to be passed by the local player.
| Hand | ||
| passTarget : int [read-only] Access the target player for the local player's pass in progress.
| Hand |
| Property | Defined by | ||
|---|---|---|---|
| _cards : CardArray | Hand | ||
| _gameCtrl : GameControl | Hand | ||
| _hasPlayed : Boolean | Hand | ||
| _passCount : int | Hand | ||
| _passTarget : int | Hand | ||
| _prefix : String | Hand | ||
| _sorter : Sorter | Hand |
| Method | Defined by | ||
|---|---|---|---|
|
Create a new hand.
| Hand | ||
|
Allow the local player to play some cards from a given allowed set.
| Hand | ||
|
allowSelection(enabled:CardArray, count:int = 1):void
Allow the selection of cards, but not actually playing them.
| Hand | ||
|
dealFaceDownTo(id:int, numCards:int):void
Add some face down cards to a given player.
| Hand | ||
|
dealTo(playerId:int, numCards:int):void
Deal from the server's deck to one player.
| Hand | ||
|
disallowSelection():void
Disallow card selection, typically called when it is no longer the player's turn and there
is no reasonable selection he or she could make.
| Hand | ||
|
Pass the given cards to fulfill a pass request.
| Hand | ||
|
Play a single card.
| Hand | ||
|
Select some cards to play.
| Hand | ||
|
Reset the deck on the server to the given deck.
| Hand | ||
|
prepareAndDeal(deck:CardArray, numCards:int):void
Deal the given deck to all players, giving each player the same number of cards.
| Hand | ||
|
removeCard(card:Card):void
Remove a single card from the hand.
| Hand | ||
|
removeCards(cards:CardArray):void
Remove cards from the hand.
| Hand | ||
|
requestPass(fromPlayer:int, toPlayer:int, numCards:int):void
Request that one player pass some cards to another player.
| Hand |
| Method | Defined by | ||
|---|---|---|---|
|
handleMessage(event:MessageReceivedEvent):void
| Hand | ||
|
varName(name:String):String
| Hand |
| Constant | Defined by | ||
|---|---|---|---|
| DEALT : String = "hand.dealt" [static] Event message for getting cards.
| Hand | ||
| DEALT_FACE_DOWN : String = "hand.dealt.face.down" [static] Event message for getting face down cards.
| Hand | ||
| DECK : String = "hand.deck" [static] Name of bag for the deck.
| Hand | ||
| PASS_FULFILL : String = "hand.pass.fulfill" [static] Event message for receiving passed cards.
| Hand | ||
| PASS_NOTIFY : String = "hand.pass.notify" [static] Event message for notifying other players of the pass.
| Hand | ||
| PASS_REQUEST : String = "hand.pass.request" [static] Event message for receiving the pass request.
| Hand |
| _cards | property |
protected var _cards:CardArray
| cards | property |
cards:CardArray
[read-only]Access the underlying array of cards. The caller MUST NOT modify the array directly.
Implementation public function get cards():CardArray
| _gameCtrl | property |
protected var _gameCtrl:GameControl
| _hasPlayed | property |
protected var _hasPlayed:Boolean
| hasPlayed | property |
hasPlayed:Boolean
[read-only]Access whether or not some cards have been selected since the last call to beginTurn. This is necessary for the auto-play feature where cards are randomly selected by the controller if the player takes too long to make a move.
Implementation public function get hasPlayed():Boolean
| isPassing | property |
isPassing:Boolean
[read-only]Access whether the local player is currently passing.
Implementation public function get isPassing():Boolean
| length | property |
length:int
[read-only]Access the number of cards in the hand.
Implementation public function get length():int
| _passCount | property |
protected var _passCount:int
| passCount | property |
passCount:int
[read-only]Access the numr of cards requested to be passed by the local player. 0 if no pass has been requested.
Implementation public function get passCount():int
| _passTarget | property |
protected var _passTarget:int
| passTarget | property |
passTarget:int
[read-only]Access the target player for the local player's pass in progress. 0 if no pass has been requested.
Implementation public function get passTarget():int
| _prefix | property |
protected var _prefix:String
| _sorter | property |
protected var _sorter:Sorter
| Hand | () | constructor |
public function Hand(gameCtrl:GameControl, sorter:Sorter, prefix:String = null)
Create a new hand.
ParametersgameCtrl:GameControl — the game control to use for table information and for networking
|
|
sorter:Sorter — the prefix to use for our server variables in case the rules require
multiple local hands
|
|
prefix:String (default = null ) — applies an ordering to cards when they are dealt and prior |
| allowPlay | () | method |
public function allowPlay(enabled:CardArray, count:int = 1):void
Allow the local player to play some cards from a given allowed set. This is not a network event and immediately sends HandEvent.BEGAN_TURN.
Parametersenabled:CardArray |
|
count:int (default = 1 )
|
| allowSelection | () | method |
public function allowSelection(enabled:CardArray, count:int = 1):void
Allow the selection of cards, but not actually playing them. This is not a network event and immediately sends HandEvent.ALLOW_SELECT.
Parametersenabled:CardArray |
|
count:int (default = 1 )
|
| dealFaceDownTo | () | method |
public function dealFaceDownTo(id:int, numCards:int):void
Add some face down cards to a given player.
Parametersid:int |
|
numCards:int |
| dealTo | () | method |
public function dealTo(playerId:int, numCards:int):void
Deal from the server's deck to one player.
ParametersplayerId:int — the player to deal to
|
|
numCards:int — number of cards to deal |
| disallowSelection | () | method |
public function disallowSelection():void
Disallow card selection, typically called when it is no longer the player's turn and there is no reasonable selection he or she could make. This is not a network event and immediately sends HandEvent.DISALLOWED_SELECTION.
| handleMessage | () | method |
protected function handleMessage(event:MessageReceivedEvent):void
Parameters
event:MessageReceivedEvent |
| passCards | () | method |
public function passCards(cards:CardArray):void
Pass the given cards to fulfill a pass request. The cards are sent to the pass target using a HandEvent.PASSED event. Other players are also notified via a HandEvent.PASSED event with no cards.
Parameterscards:CardArray |
| playCard | () | method |
public function playCard(card:Card):void
Play a single card. Convenience function to call playCards with a CardArray containing only one card.
Parameterscard:Card |
| playCards | () | method |
public function playCards(cards:CardArray):void
Select some cards to play. This is not a network event. It immediately sends a HandEvent.CARDS_PLAYED event.
Parameterscards:CardArray |
| prepare | () | method |
public function prepare(deck:CardArray):void
Reset the deck on the server to the given deck. Note that this method should only be called by one of the players in the game (the one for which GameSubControl.amInControl returns true) or the server agent.
Parametersdeck:CardArray |
| prepareAndDeal | () | method |
public function prepareAndDeal(deck:CardArray, numCards:int):void
Deal the given deck to all players, giving each player the same number of cards. Leftover cards will be held on the server. Note that this method should only be called by one of the players in the game (the one for which GameSubControl.amInControl returns true) or the server agent. When the cards arrive to the player, each local hand will dispatch a HandEvent.DEALT message.
Parametersdeck:CardArray — the full deck of cards to store on the server
|
|
numCards:int — optional number of cards to deal to each player. If 0, cards are dealt
evenly
TODO: options for what to do with the leftover cards? |
| removeCard | () | method |
public function removeCard(card:Card):void
Remove a single card from the hand. Normally the controller will call this in conjunction with another call to place the card elsewhere on the table, return it to the deck, etc. Does not send any events.
Parameterscard:Card |
| removeCards | () | method |
public function removeCards(cards:CardArray):void
Remove cards from the hand. Normally the controller will call this in conjunction with another call to place the cards elsewhere on the table, return them to the deck, etc. Does not send any events.
Parameterscards:CardArray |
| requestPass | () | method |
public function requestPass(fromPlayer:int, toPlayer:int, numCards:int):void
Request that one player pass some cards to another player. This will dispatch a HandEvent.PASS_REQUESTED event on the client who perform the pass and set the passTarget property to indicate the target player.
ParametersfromPlayer:int — the id of the player who is to perform the pass
|
|
toPlayer:int — the id of the player to receive the passed cards
|
|
numCards:int — the number of cards to pass |
| varName | () | method |
protected function varName(name:String):String
Parameters
name:String |
String |
| DEALT | constant |
protected static const DEALT:String = "hand.dealt"
Event message for getting cards.
| DEALT_FACE_DOWN | constant |
protected static const DEALT_FACE_DOWN:String = "hand.dealt.face.down"
Event message for getting face down cards.
| DECK | constant |
protected static const DECK:String = "hand.deck"
Name of bag for the deck.
| PASS_FULFILL | constant |
protected static const PASS_FULFILL:String = "hand.pass.fulfill"
Event message for receiving passed cards.
| PASS_NOTIFY | constant |
protected static const PASS_NOTIFY:String = "hand.pass.notify"
Event message for notifying other players of the pass.
| PASS_REQUEST | constant |
protected static const PASS_REQUEST:String = "hand.pass.request"
Event message for receiving the pass request.


Program started at Wed-01-Nov-2006 15:06.
Analysed requests from Sat-01-Oct-2005 00:00 to Sat-30-Sep-2006 23:59 (365.00 days).
(Go To: Top | General Summary | Monthly Report | Daily Summary | Hourly Summary)
This report contains overall statistics.
Successful requests: 125,362,248
Average successful requests per day: 343,458
Successful requests for pages: 44,748,182
Average successful requests for pages per day: 122,597
Failed requests: 95,967
Redirected requests: 3,527,177
Distinct files requested: 1,641,879
Distinct hosts served: 1,187,490
Corrupt logfile lines: 30,228
Unwanted logfile entries: 55,820,724
Data transferred: 2.01 terabytes
Average data transferred per day: 5.63 gigabytes
(Go To: Top | General Summary | Monthly Report | Daily Summary | Hourly Summary)
This report lists the activity in each month.
Each unit () represents 200,000 requests for pages or part thereof.
| month | reqs | pages | |
|---|---|---|---|
| Oct 2005 | 14936410 | 4914979 | |
| Nov 2005 | 12947003 | 4725404 | |
| Dec 2005 | 9363447 | 3469661 | |
| Jan 2006 | 12719108 | 4402617 | |
| Feb 2006 | 12327213 | 4371334 | |
| Mar 2006 | 13679708 | 4919726 | |
| Apr 2006 | 12395942 | 4315217 | |
| May 2006 | 5710809 | 2269474 | |
| Jun 2006 | 2312047 | 1025767 | |
| Jul 2006 | 3956857 | 1653122 | |
| Aug 2006 | 8390974 | 3039311 | |
| Sep 2006 | 16622730 | 5641570 |
Busiest month: Sep 2006 (5,641,570 requests for pages).
(Go To: Top | General Summary | Monthly Report | Daily Summary | Hourly Summary)
This report lists the total activity for each day of the week, summed over all the weeks in the report.
Each unit () represents 250,000 requests for pages or part thereof.
| day | reqs | pages | |
|---|---|---|---|
| Sun | 19996007 | 7182129 | |
| Mon | 26512835 | 9239308 | |
| Tue | 19037845 | 6741685 | |
| Wed | 16907498 | 6069107 | |
| Thu | 15098991 | 5433073 | |
| Fri | 13419168 | 4923394 | |
| Sat | 14389904 | 5159486 |
(Go To: Top | General Summary | Monthly Report | Daily Summary | Hourly Summary)
This report lists the total activity for each hour of the day, summed over all the days in the report.
Each unit () represents 80,000 requests for pages or part thereof.
| hour | reqs | pages | |
|---|---|---|---|
| 0 | 1879207 | 767862 | |
| 1 | 938855 | 444035 | |
| 2 | 580275 | 316440 | |
| 3 | 485024 | 301453 | |
| 4 | 421597 | 271694 | |
| 5 | 487873 | 294831 | |
| 6 | 959947 | 461413 | |
| 7 | 2274836 | 873820 | |
| 8 | 5160281 | 1774766 | |
| 9 | 7359579 | 2505622 | |
| 10 | 7604542 | 2617936 | |
| 11 | 7781111 | 2706402 | |
| 12 | 8789463 | 3036221 | |
| 13 | 8846946 | 3030152 | |
| 14 | 7084356 | 2487466 | |
| 15 | 7076461 | 2492651 | |
| 16 | 7949098 | 2778660 | |
| 17 | 8538732 | 2966801 | |
| 18 | 8602995 | 3015897 | |
| 19 | 8272467 | 2925270 | |
| 20 | 7661516 | 2723257 | |
| 21 | 7039379 | 2504761 | |
| 22 | 5995334 | 2125652 | |
| 23 | 3572374 | 1325120 |


Sort by
Last server update:
Deployed by:
Don't deploy to this environment.
It's ok to deploy to this environment.
Tagged Trellos (
)
Builds (
)
(Triggered:
)


| I l@ve RuBoard |
We have already discussed how Python can control services, now let's see how to write services in Python. Services written in Python are first-class services and provide all the functionality of services written in C.
Before we launch into how to write a service in Python, we must discuss some important service concepts. This will help you understand some of the design and implementation decisions made for Python services.
Windows NT starts a service by executing a process. Once this process starts, it's expected to report to the SCM that it's indeed a service and that it's starting. It also must pass to the SCM a control handler; that is, a function that responds to control messages sent by the SCM. The service process then executes. When the service is to be stopped, the SCM notifies the control handler of the stop request. The service itself is responsible for handling this request and terminating itself.
This leads to most services, regardless of the language they are written in, being structured as follows: A main thread starts. This thread initializes itself by reporting to the SCM and passing it the control handler. Once initialization is complete, the thread starts a worker loop waiting either for work to do or a notification to stop, pause, etc. The SCM calls the control handler on another thread, so once the function receives the control notification, it reports back to the SCM it's stopping, then triggers some synchronization object that the main thread will notice next time around the loop. As the main thread terminates, it continues to report its status to the SCM.
The same executable hosts most Python services, PythonService.exe . This special executable is aware of the special requirements for services that make Python.exe unsuitable for the task.
When PythonService.exe is asked to start a service, it looks in the registry for the Python class that implements the service. It then creates an instance of this class, and delegates all service functionality to this instance. For example, when the service is to start, a method named SvcStart is called on the object. When the SCM makes a control request, a method named ServiceControlHandler is called. These Python methods are expected to correctly report their status to the SCM, by calling helper functions provided by PythonService.exe.
To make life as simple as possible for the Python programmer, a base class ServiceFramework is provided in the module win32serviceutil . The easiest way to write a service in Python is to subclass this class, then concentrate on the service functionality rather than on the interactions with the SCM.
As described previously, most Python services will be a subclass of the win32serviceutil.ServiceFramework class. This has a number of default methods and helper methods to make writing services in Python easier:
The constructor for the class. This registers the method ServiceCtrlHandler as the handler for notification messages from the SCM.
Provides a default implementation of the service control handler. This method interrogates the class for certain named methods to determine which controls the service responds to. For example, if the service contains a SvcPause method, it's assumed the service can be paused.
A default implementation of the entry point for the service. This method notifies the SCM that the service has started, calls a method SvcDoRun, then when complete notifies the SCM the service is stopping (PythonService.exe automatically notifies the SCM that the service has stopped). Thus, you need only provide a SvcDoRun method in the subclass that handles the functionality of your service.
Before we move on to a more substantial service written in Python, let's write the smallest possible service in Python. This service will do no actual work other than interact with the SCM.
The key points from this example code are:
The logic for stopping the service must be provided by your application. This sample service uses a Win32 event object and when the command to stop the service is received, it sets this event. The service itself does nothing other than wait for this event to be set.
The name of the service and the display name of the service must be provided by the subclass.
This code contains startup code that handles the command line when run as a script. This provides facilities for installing, debugging, and starting the service, as described in the next section.
# SmallestService.py # # A sample demonstrating the smallest possible service written in Python. import win32serviceutil import win32service import win32event class SmallestPythonService(win32serviceutil.ServiceFramework): _svc_name_ = "SmallestPythonService" _svc_display_name_ = "The smallest possible Python Service" def __init__(self, args): win32serviceutil.ServiceFramework.__init__(self, args) # Create an event which we will use to wait on. # The "service stop" request will set this event. self.hWaitStop = win32event.CreateEvent(None, 0, 0, None) def SvcStop(self): # Before we do anything, tell the SCM we are starting the stop process. self.ReportServiceStatus(win32service.SERVICE_STOP_PENDING) # And set my event. win32event.SetEvent(self.hWaitStop) def SvcDoRun(self): # We do nothing other than wait to be stopped! win32event.WaitForSingleObject(self.hWaitStop, win32event.INFINITE) if __name__=='__main__': win32serviceutil.HandleCommandLine(SmallestPythonService)
Now that we have a service written in Python, what to do with it? This section discusses installing the service, debugging the service, and starting and stopping the service.
As discussed previously, an application named PythonService.exe hosts all Python services. This executable must be registered before you can install the service. The registration process need only be run once per machine, regardless of how many services the program hosts. The installation package for the Python for Windows extensions automatically registers this, but the information is included here for completeness. To register PythonService.exe, perform the following steps:
Start a command prompt.
Change to the directory containing PythonService.exe, typically \Program Files \Python\win32.
Execute the command:
C:\Program Files\Python\win32>PythonService.exe /register Registering the Python Service Manager... C:\Program Files\Python\win32>
Now to install the service, perform the following steps:
Start a command prompt.
Change to the directory containing the Python source code that implements the service.
Execute the command:
C:\Scripts> SmallestService.py install Installing service SmallestPythonService to Python class C:\Scripts\SmallestService.SmallestPythonService Service installed C:\Scripts>
The service is now installed and ready to run. To confirm the service has been correctly installed, use the control panel to start the Services applet and scroll down until you find the "The smallest possible Python Service."
There are a number of ways to start or stop a service. Our Python script can start and stop itself. To do this, use the following command:
C:\Scripts> python.exe SmallestService.py start Starting service SmallestPythonService C:\Scripts>
The service is now running. To confirm this, let's try executing the same command again:
C:\Scripts> python.exe SmallestService.py start Starting service SmallestPythonService Error starting service: An instance of the service is already running. C:\Scripts>
As you can see, only one instance of a service can be running at any time. To stop the service, use the following command:
C:\Scripts> python.exe SmallestService.py stop Stopping service SmallestPythonService C:\Scripts>
There are two other common techniques for starting and stopping services:
Using the Services applet in the control panel, which provides a GUI for starting, stopping, or pausing services.
Using the net.exe program supplied with Windows NT. From a Windows NT command prompt, this command starts the service:
C:\Anywhere> net start SmallestPythonService
This command stops the service:
C:\Anywhere> net stop SmallestPythonService
| I l@ve RuBoard |


Notts chippy The Jolly Fryer is bringing back foot-long pigs in blankets
This year's new addition makes it a Sunday dinner and a chippy dinner all in one
by Lynette PinchessChip lovers' Christmas favourite, foot-long battered pigs in blankets, will be returning to Notts chippy The Jolly Fryers on Sunday (December 1).
The giant bangers are wrapped in five rashers of bacon, dipped in batter and deep-fried at the chippy in Lowmoor Road, Kirkby-in-Ashfield.
Customers will be able to get their festive fix throughout December - this year with the added option of being served in a giant Yorkshire pudding with chips and gravy.
Owner Theo Tsiolas said: "It's a massive festive treat and people go wild for them. We sold 2,000 last year.
"I think the Yorkshire puddings will be huge. It's Sunday dinner combined with a chippy dinner - it's a match made in heaven."
And if this all sounds very familiar it is because NottinghamshireLive reported on exactly the same battered extravaganza at Bestwood Fisheries.
But there's no rivalry... except a smidgen of sibling rivalry as the two owners are brothers.
Antonio Tsiolas, who runs the Bestwood chippy, came up with the idea and shared it with Theo last year.
He said: "There's only friendly sibling rivalry. We speak about 30 times a day!"
The pigs in blankets went on sale at the chip shop in Arnold Road yesterday and proved as popular as ever.
"We sold 200 foot-long ones and 100 of the regular ones. The Yorkshire puddings proved really popular," said Antonio.


-
U.S. Military Bans The Intercept - The Intercept
firstlook.org
The U.S. military is blocking employees from visiting The Intercept in an apparent effort to censor news reports that contain leaked government ...
-
The FBI Finally Says How It 'Legally' Pinpointed Silk Road's Server | WIRED
www.wired.com
The prosecuting attorneys in Ulbricht's case argue, means that no illegal spying techniques were needed to pinpoint the world's largest anonymous ...
-
Miss a Payment? Good Luck Moving That Car - NYTimes.com
dealbook.nytimes.com
The thermometer showed a 103.5-degree fever, and her 10-year-old’s asthma was flaring up. Mary Bolender, who lives in Las Vegas, needed to get her ...
-
MIT Students Battle State's Demand for Their Bitcoin Miner's Source Code | ...
www.wired.com
Four MIT students behind an award-winning Bitcoin mining tool will face off against New Jersey state authorities in court today when they attempt to ...
-
Australia's Prime Minister Gives a Master Class in Exploiting Terrorism ...
firstlook.org
Australia's political class is in the midst of an increasingly unhinged fear-mongering orgy over terrorism, using an all-too-familiar 9/11 era script.
-
Apple's "warrant canary" disappears, suggesting new Patriot Act demands
gigaom.com
Apple included language in its first Transparency Report to say that it had not been subject to a Section 215 Patriot Act request. That language is ...
-
This is why your Internet is slow. And it’ll get worse. Unless you take 1 ...
www.battleforthenet.com
You’re our only hope.
-
Matchmaker, Matchmaker, Make Me A Spreadsheet
fivethirtyeight.com
In mid-August, couples and lonely hearts packed a Brooklyn basement to hear scientists make sense of something the crowd could not: love. It was the ...
-
The CIA's Mop-Up Man: L.A. Times Reporter Cleared Stories With Agency ...
firstlook.org
A Los Angeles Times intelligence reporter routinely submitted story drafts to the CIA for review.
-
Panda update rolling out Earlier this week, we started a slow rollout of ...
plus.google.com
Panda update rolling out Earlier this week, we started a slow rollout of an improved Panda algorithm, and we expect to have everything done sometime ...
-
Huge GoPro Hero4 Leak Reveals Silver and Black Edition Features
gizmodo.com
A thread on Reddit rounds up a bunch of speculation swirling about the GoPro Hero 4, including images of the new action camera that look pretty ...
-
Ok, shits real. Its in the wild... src:<IP_ADDRESS>
gist.github.com
You can clone with HTTPS or SSH .
-
Terror laws clear Senate, enabling entire Australian web to be monitored ...
www.smh.com.au
Australian spies will soon have the power to monitor the entire Australian internet with just one warrant, and journalists and whistleblowers will ...
-
First U.S. Stealth Jet Attack on Syria Cost More Than Indian Mission to ...
www.thedailybeast.com
F-22 Raptor stealth fighters were needed in case the Syrians used their sophisticated air defenses. But Raptors don't come cheap.
-
Eric Holder To Step Down As Attorney General
www.npr.org
The nation's first black U.S. attorney general had a tumultuous tenure marked by civil rights advances, national security threats, sentencing reforms ...
-
Bug in Bash shell creates big security hole on anything with *nix in it ...
arstechnica.com
Could allow attackers to execute code on Linux, Unix, and Mac OS X.
-
Forest Service says media needs photography permit in wilderness areas, ...
www.oregonlive.com
First Amendment advocates say the rules ignore press freedoms and are unconstitutional.
-
How social media is reshaping news
www.pewresearch.org
Pew Research Center has gathered a lot of data over the past year on how social media networks are shaping news consumption and distribution.
-
CEOs Get Paid Too Much, According to Pretty Much Everyone in the World
blogs.hbr.org
This is regardless of political affiliation and opinions on pay.
-
The Latest iPhone Scandal: "Bendghazi"
www.slate.com
My first complaint after buying the new iPhone 6 Plus was that I couldn’t operate it with one hand. Others griped that it wouldn’t fit in their ...
-
Local Use of Military Equipment is Drawing Scrutiny—But Local Use of ...
www.eff.org
Since the police shooting of Michael Brown and the response in the streets, militarization of the police, especially with surplus military hardware ...
-
oss-sec: Re: CVE-2014-6271: remote code execution through bash
seclists.org
oss-sec mailing list archives
-
peloton magazine sur Twitter : "GIF: This is the very moment #Wiggins ...
twitter.com
Mot de passe oublié ? Vous utilisez déjà Twitter via SMS ?
-
The Emma Watson Naked Photo Countdown Was The Work Of Serial Internet ...
www.businessinsider.com
The media blames a viral marketing company for the stunt, but the truth is far more disturbing.
-
Saleem Khan sur Twitter : "@cochranism 1737ET We'll only capture real ...
twitter.com
Mot de passe oublié ? Vous utilisez déjà Twitter via SMS ?
-
The Night 8 Howitzer Shells Almost Killed Iraq's Leader
indefinitelywild.gizmodo.com
Between 2003 and 2004 Blackwater security expert Frank Gallagher managed the impossible — keeping Paul Bremer, the de facto head of state for newly ...
-
Home - Virgin.com
www.virgin.com
Virgin.com - home of Richard Branson, Virgin Unite, Music, Travel, Entrepreneurship & the Virgin companies
-
Emma Watson UN speech
www.youtube.com
Emma Watson's moving speech about gender equality and the he for she campaign To join heforshe: http://www.heforshe.org/