index-02-redoc-simple.png...

index-05-swagger-04.png...

index-04-swagger-03.png...

    ): Cookie? {
      val cookiePairEnd = setCookie.delimiterOffset(';')

      val pairEqualsSign = setCookie.delimiterOffset('=', endIndex = cookiePairEnd)
      if (pairEqualsSign == cookiePairEnd) return null

      val cookieName = setCookie.trimSubstring(endIndex = pairEqualsSign)
      if (cookieName.isEmpty() || cookieName.indexOfControlOrNonAscii() != -1) return null

labels.crawling_info_WebFsCrawlEndTime	=	Heure de fin de l'exploration (Web/Système de fichiers)
labels.crawling_info_WebFsIndexExecTime	=	Indexation du temps d'exécution (Web/système de fichiers)
labels.crawling_info_WebFsIndexSize	=	Taille de l'index (Web/système de fichiers)
labels.crawling_info_DataCrawlExecTime	=	Temps d'exécution de l'exploration (magasin de données)
labels.crawling_info_DataCrawlStartTime	=	Heure de début de l'exploration (magasin de données)

			if !DB.Migrator().HasIndex(table, myIndex.Name()) {
				t.Errorf("%v: should has index %s but not", utils.FileWithLineNum(), myIndex.Name())
			}
		}
		checkMulIndex = func(t *testing.T) {
			checkColumnType(t, "name", false)
			checkColumnType(t, "nick_name", false)
			if !DB.Migrator().HasIndex(table, mulIndex.Name()) {
				t.Errorf("%v: should has index %s but not", utils.FileWithLineNum(), mulIndex.Name())

            // index from the end of the list. tail points to the first
            // entry in the reusable list.
            E tail = head;
            int tailIndex = headIndex;
            for (E e = next; e != null; e = e.getNext()) {
              int newIndex = e.getHash() & newMask;
              if (newIndex != tailIndex) {
                // The index changed. We'll need to copy the previous entry.

index-03-swagger-02.png...

index-06-redoc-02.png...

            // index from the end of the list. tail points to the first
            // entry in the reusable list.
            E tail = head;
            int tailIndex = headIndex;
            for (E e = next; e != null; e = e.getNext()) {
              int newIndex = e.getHash() & newMask;
              if (newIndex != tailIndex) {
                // The index changed. We'll need to copy the previous entry.